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
Filosofia e semiotica
di Stefano Gensini
La nozione di comunicazione (dal lat. tardo e medievale communicatio, l'atto di mettere in comune con altri, di trasmettere a) ha un'ampia nel dibattito filosofico-linguistico [...] filosofico tramite la rilettura esegetico-critica del pensiero saussuriano avvenuta negli anni Cinquanta-Sessanta del 20° sec. (R. Godel, R. Engler, T. De Mauro): il processo della c. ha un risvolto fisico-acustico e uno psichico, corrispondente ...
Leggi Tutto
Filosofia e semiotica
di Stefano Gensini
La nozione di comunicazione (dal lat. tardo e medievale communicatio, l'atto di mettere in comune con altri, di trasmettere a) ha un'ampia nel dibattito filosofico-linguistico [...] filosofico tramite la rilettura esegetico-critica del pensiero saussuriano avvenuta negli anni Cinquanta-Sessanta del 20° sec. (R. Godel, R. Engler, T. De Mauro): il processo della c. ha un risvolto fisico-acustico e uno psichico, corrispondente ...
Leggi Tutto
Libero atto di volontà per cui, tra due o più offerte, proposte, possibilità o disponibilità, si manifesta o dichiara di preferirne una (in qualche caso anche più di una), ritenendola migliore, più adatta [...] è equipotente a un sottoinsieme di un insieme B, allora B è equipotente ad un sottoinsieme di A). Nel 1938 K. Gödel dimostrò che l’assioma di s. (come l’ipotesi del continuo) è compatibile con i rimanenti assiomi delle correnti teorie assiomatiche ...
Leggi Tutto
Metodo
GGerard Radnitzky
di Gerard Radnitzky
Metodo
sommario: 1. Introduzione. 2. Concetto e definizione di procedimento metodico, metodo e metodologia. a) Distinzione tra i vari livelli. b) Definizione [...] la filosofia della matematica da Frege ai Principia mathematica, ha ancor oggi numerosi sostenitori. Con la dimostrazione, data da Gödel nel 1931, dell'incompletezza dei Principia mathematica e della teoria dei numeri ha avuto inizio per la filosofia ...
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
Scienza cognitiva
Antonio Rainone
Con la locuzione scienza cognitiva, dalla fine degli anni Settanta, si è soliti designare l'insieme delle discipline che hanno per oggetto lo studio dei processi cognitivi [...] , Reading (Mass.) 1977, 1992³.
R.N. Shepard, The mental image, in American psychologist, 1978, pp. 125-37.
D.R. Hofstadter, Gödel, Escher, Bach: an eternal golden braid, New York 1979 (trad. it. Milano 1984).
S.M. Kosslyn, Images and mind, Cambridge ...
Leggi Tutto
Psiche
Riccardo Zerbetto
L'etimologia del termine psiche (dal greco ψυχή, connesso con ψύχω, "respirare, soffiare") si riconduce all'idea del 'soffio', cioè del respiro vitale; presso i greci designava [...] isolatamente, sono in grado di sciogliere i nodi hard della coscienza.
Tale prospettiva riflette il noto teorema di K. Gödel, il quale sostiene come nessun sistema di assiomi abbastanza complesso sia capace di sostenere la veridicità di un enunciato ...
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...