Church Alonzo
Church 〈cèrcë〉 Alonzo [STF] (n. Washington 1903) Prof. di logica matematica nell'univ. di Princeton (1947) e nell'univ. della California, a Los Angeles (1967). ◆ [FAF] Tesi, o ipotesi, [...] ricorsiva è effettivamente calcolabile) non si possono né dimostrare, né confutare, ma solo rendere accettabili con argomenti di carattere sperimentale; esse precisano la nozione di procedimento effettivo di calcolo: v. Gödel, teorema di: III 58 f. ...
Leggi Tutto
Vienna
Viènna [Ted. Wien, la capitale dell'Austria] [STF] [FAF] Circolo di V.: denomin. (ted. Wiener Kreis) di un movimento neopositivistico che ebbe il suo centro a Vienna. Il primo circolo neopositivista, [...] notevoli rappresentanti del circolo di V. sono R. Carnap, O. Neurath, P. Frank e inoltre F. Waismann, G. Bergmann, K. Gödel, H. Feigl, K. Popper, V. Kraft, J. Schächter. Con l'occupazione hitleriana e la 2a guerra mondiale, parecchi rappresentanti di ...
Leggi Tutto
terzo
tèrzo [agg. numerico ordinale Der. del lat. tertius, da tres "tre"] [LSF] Che in una serie numericamente ordinata viene dopo altri due. ◆ T. suono: (a) [ACS] lo stesso che suono di combinazione, [...] falsa, e che quindi è vera la sua contraria A, in quanto una proposizione, e in ciò consiste il principio del t. escluso, o è vera, o è falsa. Il principio del t. escluso è stato confutato dalla logica matematica degli anni '30: v. Gödel, teorema di. ...
Leggi Tutto
completezza
completézza [Der. di completo] [FAF] Proprietà di una teoria fisica per cui ogni suo elemento ha un corrispettivo nella realtà: v. completezza. ◆ [MCQ] C. asintotica: locuz. con cui s'indica [...] argomenti assume gli stessi valori di f). ◆ [FAF] Teorema di c. semantica: nella logica, teorema, dimostrato da H. Gödel nel 1930, secondo il quale ogni teoria elementare, cioè del primo ordine, non contraddittoria ha un modello numerabile, cioè ha ...
Leggi Tutto
logica
lògica [Lat. logica, dal gr. loġiké (sottinteso téchne "arte"), a sua volta da lógos "discorso, ragionamento"] [ELT] [INF] Il complesso dei circuiti logici che fanno parte di un dispositivo elettronico [...] non quella dei predicati, mentre quella che analizza pure la quantificazione dei predicati è detta l. del secondo ordine: v. Gödel, teorema di: III 54 e. ◆ [FAF] L. enunciativa: lo stesso che l. proposizionale (v. oltre). ◆ [ALG] [FAF] L. formale, o ...
Leggi Tutto
Affermazione, proposizione, tesi, opinione che, per il suo contenuto o per la forma in cui è espressa, appare contraria all’opinione comune o alla verosimiglianza e riesce perciò sorprendente o incredibile. [...] analoghe.
Metodi per evitare i p. logici
Le teorie assiomatiche degli insiemi del tipo di von Neumann, Robinson, Bernays, Gödel sono basate sull’idea esposta da J. von Neumann, secondo cui le antinomie non sorgono dal fatto che si possano costruire ...
Leggi Tutto
RELATIVITÀ
Christian Moller
Tullio Regge
Eugenio Garin
Relatività di Christian Møller
sommario: 1. Introduzione e panorama storico: a) il principio di relatività speciale. Sistemi inerziali; b) relatività [...] al nostro modo particolare di percepire le cose (v. Schilpp, 1949; tr. it., pp. 503 ss.). Così un logico come Gödel nel 1949, quando Russell fin dal 1925 aveva osservato che ‟la relatività getta ben poca luce su controversie secolari come quella tra ...
Leggi Tutto
Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] teso a trovare solidi fondamenti per la m. ha subito tuttavia numerosi insuccessi, a partire dalla dimostrazione dei teoremi di Gödel, e ha anche smesso di essere al centro della riflessione matematica. Nuovo interesse è stato rivolto a temi poco ...
Leggi Tutto
sistema
sistèma [Der. del lat. systema, dal gr. sy´stema "insieme di cose", che è da synístemi "riunire"] [LSF] (a) Oggetto che, pur essendo costituito da più elementi interconnessi e interagenti tra [...] dal suo linguaggio simbolico, dal suo apparato deduttivo e dai teoremi derivabili in essa, senza alcun riferimento esterno: v. Gödel, teorema di: III 53 f. ◆ [OTT] S. fotometrico: s. di grandezze fotometriche: v. misurazioni ottiche: IV 40 c. ◆ [ASF ...
Leggi Tutto
La seconda rivoluzione scientifica: introduzione. Fisica e filosofia della scienza all'alba del XX secolo
Don Howard
Fisica e filosofia della scienza all'alba del XX secolo
Simbiosi disciplinare
La [...] potente o più potente dell'aritmetica di Peano (nella formulazione di primo ordine) ammetteva necessariamente, come Kurt Gödel dimostrò in un corollario al suo primo teorema dell'incompletezza, modelli non isomorfici (Howard 1992). Tuttavia nel ...
Leggi Tutto
godeliano
‹ġö-› agg. – Relativo al matematico Kurt Gödel (1906-1978) e alla sua opera: teoremi g., o prove di Gödel, le dimostrazioni, da lui formulate, dell’incompletezza di qualsiasi assiomatizzazione della teoria dei numeri, dell’impossibilità...
numero
nùmero s. m. [dal lat. numĕrus; cfr. novero]. – 1. Ciascuno degli enti astratti che rappresentano insiemi di unità, ordinati in una successione infinita (serie naturale dei n.) nella quale ogni elemento conta un’unità in più rispetto...