fondamenti della matematica
Enciclopedia della Matematica (2017)
fondamenti della matematica
fondamenti della matematica locuzione con la quale si indica, in senso lato, lo studio delle basi epistemologiche della logica e della matematica; in senso stretto, l’espressione [...] operazioni di deduzione logica. Questo programma, nelle sue richieste più radicali, fallì. Nel 1931 K. Gödel dimostrò infatti (→ Gödel, teorema di) l’impossibilità di dare una simile dimostrazione. L’intuizionismo, rappresentato principalmente da L ...
Leggi Tutto
logicismo
Enciclopedia della Matematica (2013)
logicismo
logicismo indirizzo di filosofia della matematica che ipotizza che le basi della matematica e i suoi fondamenti vadano ricercati nei principi della logica. Si fa risalire tale indirizzo ai [...] di sistemi automatici di calcolo sia per una definizione e limitazione delle potenzialità del calcolo stesso (→ Church, tesi di; → Gödel, teorema di), concentra la sua attenzione sul ruolo della definizione e in primo luogo, proprio per evitare ogni ...
Leggi Tutto
completezza
Dizionario delle Scienze Fisiche (1996)
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
CATEGORIA:
FISICA MATEMATICA
–
MECCANICA QUANTISTICA
–
STORIA DELLA FISICA
–
ANALISI MATEMATICA
–
EPISTEMOLOGIA
–
METAFISICA
INFORMATICA
Enciclopedia Italiana - IV Appendice (1979)
INFORMATICA
Paolo Ercoli
Alberto Marini
Con il termine informatica, neologismo di origine francese, s'indica attualmente una nuova ed emergente disciplina, la quale si occupa di particolari rappresentazioni [...] le funzioni definibili con il cosiddetto "λ-calcolo" di A. Church e con le funzioni generali ricorsive di K. Gödel. In ogni caso le macchine di Turing e tutte le altre strutture computazionali equivalenti sono modelli sufficienti per le elaborazioni ...
Leggi Tutto
COMPLESSITA'
Enciclopedia Italiana - VI Appendice (2000)
Il termine complessità è oggi frequentemente usato, in campo scientifico, in contesti diversi. In quello dell'informatica, dell'analisi numerica e dell'ottimizzazione, corrisponde alla caratteristica quantitativa [...] le cristal et la fumée. Essai sur l'organisation du vivant, Paris 1979 (trad. it. Firenze 1987).
D.R. Hofstadter, Gödel, Escher, Bach. An eternal golden braid, New York 1979 (trad. it. Milano 1984).
I. Prigogine, I. Stengers, La nouvelle alliance ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
Odifreddi, Piergiorgio
Enciclopedia on line
Odifreddi, Piergiorgio. - Matematico e scrittore italiano (n. Cuneo 1950). Laureato in matematica a Torino (1973), ha proseguito gli studi negli Stati Uniti presso le università dell’Illinois e della [...] (2017); La democrazia non esiste. Critica matematica della ragione politica (2018); Il dio della logica. Vita geniale di Kurt Gödel matematico della filosofia (2018); Il genio delle donne. Breve storia della scienza al femminile (2019); nel 2022, In ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Lingua
Enciclopedia del Novecento (1978)
Lingua
Luis J. Prieto
di Luis J. Prieto
Lingua
sommario: 1. Introduzione. 2. Lingua e parole. 3. Lingua e codice non linguistico. □ Bibliografia.
1. Introduzione
Il primo problema che si presenta quando [...] Mauro, Bari 19682.
Sechehaye, A., Les trois linguistiques saussuriennes, in A Geneva School reader in linguistics (a cura di R. Godel), Bloomington-London 1969, pp. 138-181.
Tarski, A., Introduction à la logique, Paris-Louvain 19692.
Trubeckoj, N. S ...
Leggi Tutto
CATEGORIA:
LINGUISTICA GENERALE
paradosso
Enciclopedia della Matematica (2013)
paradosso
paradosso (dal greco pará, «oltre, contro», e dóxa, «opinione») termine applicato, nella sua accezione più ampia, a qualsiasi affermazione o ragionamento che contrasti con l’opinione comune [...] formulate delle teorie assiomatiche di cui sono esempi la teoria di → Zermelo-Fraenkel e la teoria di → Neumann-Bernays-Gödel.
Fra le classificazione “storiche” dei paradossi sin qui esaminati, va ricordata quella proposta da F.P. Ramsey (da cui ...
Leggi Tutto
assioma
Enciclopedia della Matematica (2013)
assioma
assioma proposizione che si assume come vera e a partire dalla quale, tramite una catena di deduzioni, si dimostrano altre proposizioni dette teoremi. Mentre fino al xviii secolo gli assiomi [...] la sua negazione ¬A. Tra i più importanti risultati della ricerca logica del xx secolo va annoverato il teorema di → Gödel, o teorema di incompletezza, che può essere così enunciato: «Se un sistema di assiomi dell’aritmetica è consistente, allora non ...
Leggi Tutto
logica
Enciclopedia della Matematica (2013)
logica
logica teoria dell’inferenza valida, cioè studio della correttezza dei ragionamenti, qualunque sia l’universo di discorso cui essi si riferiscano. Si riserva usualmente il termine «logica», privo [...] dell’approccio combinatorio alla metalogica. Nasce dunque la necessità di mutare i punti di vista teorici metalogici. Già Gödel (1930) aveva usato metodi astratti per dimostrare la coincidenza del concetto di legge logica, basato sulla nozione ...
Leggi Tutto