ricorsività
Enciclopedia on line
ricorsività La proprietà di essere ricorsivo, cioè ricorrente. Teoria della r., o della ricorsione, o computabilità, la disciplina che si occupa di fornire una caratterizzazione matematica del concetto [...] funzione caratteristica χP è ricorsiva.
Teoremi di composizione di K. Gödel
I tre teoremi seguenti consentono di ottenere, dai precedenti, dei teoremi di indecidibilità e di incompletezza di Gödel. Va osservato comunque che sono stati trovati vari ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
dimostrazione
Enciclopedia on line
Filosofia
Processo logico-discorsivo (dal gr. apodissi) in virtù del quale si arriva a garantire la validità di un enunciato.
La nozione di d. venne introdotta da Aristotele che la definì come quella forma [...] matematica fino al costituirsi di un espresso campo di ricerche, la teoria della d., elaborata da D. Hilbert e K. Gödel, che studia le capacità dimostrative dei sistemi formali, teoria che, dopo il fallimento del suo originale obiettivo, quello cioè ...
Leggi Tutto
Neumann, Johann Ludwig von
Enciclopedia on line
Matematico ungherese naturalizzato statunitense (Budapest 1903 - Washington 1957). I suoi contributi hanno caratterizzato numerosi aspetti del pensiero matematico e scientifico del 20° sec. e spesso le [...] assiomatizzazione della teoria degli insiemi, alla quale si sono ispirati P. Bernays, R. M. Robinson e K. Gödel. Queste assiomatizzazioni distinguono gli insiemi dalle classi, essendo queste tutti e soli gli insiemi non comprimibili, cioè tali da ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Storia della Scienza (2004)
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Umberto Bottazzini
Filosofia e pratica matematica
Quando si parla di 'seconda rivoluzione' scientifica si pensa di solito [...] esprime la non contraddittorietà del sistema è proprio una di queste.
"Una rete di strutture nascoste"
Con il lavoro di Gödel si chiude la grande stagione dei dibattiti sui fondamenti, che hanno impegnato i più grandi matematici nei primi trent'anni ...
Leggi Tutto
insieme
Dizionario delle Scienze Fisiche (1996)
insieme
insième [Der. del lat. insemel, forma corrotta di insimul, comp. di in- e simul "insieme"] [ALG] Secondo la definizione di G. Cantor, ogni raccolta (aggregato, famiglia) di enti distinti, detti [...] : III 212 d e meccanica statistica: III 729 e. ◆ I. cilindrico: v. diffusione, teoria della: II 168 b. qz I. creativo: v. Gödel, teorema di: III 57 d. ◆ I. dei tempi: v. sistemi, teoria dei: V 316 d. ◆ I. denso: v. spazio topologico: V 468 ...
Leggi Tutto
CATEGORIA:
ALGEBRA
aritmètica
Dizionario delle Scienze Fisiche (1996)
aritmetica
aritmètica [Der. del lat arithmetìca, dal gr. arithmós "numero"]. Parte della matematica concernente lo studio dei numeri, soprattutto dei numeri interi; il termine, per la prima volta usato [...] a un dato campo d'integrità, ecc. A proposito delle difficoltà che si incontrano nella definizione formale dell'a. v. Gödel, teorema di: III 53 c. ◆ [INF] A. a virgola mobile: nell'informatica e nei sistemi di codificazione numerica, metodo di ...
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
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
modello
Enciclopedia on line
In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] una formula di T sia un teorema di T. Una prima soluzione di questo problema è espressa dal teorema di completezza semantica di Gödel: ‘una formula di una teoria elementare T è un teorema se e solo se è valida in T′, o, equivalentemente, ‘una teoria ...
Leggi Tutto
CATEGORIA:
ARCHITETTURA E URBANISTICA
–
SCULTURA
–
FILOSOFIA DEL LINGUAGGIO
–
LINGUISTICA GENERALE
–
ECOLOGIA
–
ALGEBRA
–
GEOMETRIA
–
LOGICA MATEMATICA
–
STATISTICA E CALCOLO DELLE PROBABILITA
–
DIRITTO PRIVATO
–
STORIA E FILOSOFIA DEL DIRITTO
–
METODI TEORIE E PROVVEDIMENTI
–
EPISTEMOLOGIA
–
FILOSOFIA DEL DIRITTO
–
FILIERE STRUMENTI E TECNICHE DELLA PRODUZIONE INDUSTRIALE