Logo
Unionpedia
Comunicazione
Disponibile su Google Play
Nuovo! Scarica Unionpedia sul tuo dispositivo Android™!
Installa
l'accesso più veloce di browser!
 

David Hilbert e Macchina di Turing

Scorciatoie: Differenze, Analogie, Jaccard somiglianza Coefficiente, Riferimenti.

Differenza tra David Hilbert e Macchina di Turing

David Hilbert vs. Macchina di Turing

È stato uno dei più eminenti ed influenti matematici del periodo a cavallo tra il XIX secolo e il XX secolo. In informatica una macchina di Turing (o più brevemente MdT) è una macchina ideale che manipola i dati contenuti su un nastro di lunghezza potenzialmente infinita, secondo un insieme prefissato di regole ben definite.

Analogie tra David Hilbert e Macchina di Turing

David Hilbert e Macchina di Turing hanno 5 punti in comune (in Unionpedia): Alonzo Church, Kurt Gödel, Matematica, Teoremi di incompletezza di Gödel, Wilhelm Ackermann.

Alonzo Church

Ha dato importanti contributi allo sviluppo della logica matematica e ai fondamenti dell'informatica teorica.

Alonzo Church e David Hilbert · Alonzo Church e Macchina di Turing · Mostra di più »

Kurt Gödel

Ritenuto uno dei più grandi logici di tutti i tempi insieme ad Aristotele e Gottlob Frege, le sue ricerche ebbero un significativo impatto, oltre che sul pensiero matematico e informatico, anche sul pensiero filosofico del XX secolo.

David Hilbert e Kurt Gödel · Kurt Gödel e Macchina di Turing · Mostra di più »

Matematica

La matematica (dal greco μάθημα (máthema), traducibile con i termini "scienza", "conoscenza" o "apprendimento"; μαθηματικός (mathematikós) significa "incline ad apprendere") è la disciplina che studia le quantità (i numeri), lo spazio,.

David Hilbert e Matematica · Macchina di Turing e Matematica · Mostra di più »

Teoremi di incompletezza di Gödel

In logica matematica, i teoremi di incompletezza di Gödel sono due famosi teoremi dimostrati da Kurt Gödel nel 1931.

David Hilbert e Teoremi di incompletezza di Gödel · Macchina di Turing e Teoremi di incompletezza di Gödel · Mostra di più »

Wilhelm Ackermann

Ackermann fu premiato con un Ph.D. all'Università di Gottinga nel 1925 per la sua tesi Begründung sul "Tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit che doveva essere una prova della consistenza dell'aritmetica senza l'induzione di Peano.

David Hilbert e Wilhelm Ackermann · Macchina di Turing e Wilhelm Ackermann · Mostra di più »

La lista di cui sopra risponde alle seguenti domande

Confronto tra David Hilbert e Macchina di Turing

David Hilbert ha 98 relazioni, mentre Macchina di Turing ha 60. Come hanno in comune 5, l'indice di Jaccard è 3.16% = 5 / (98 + 60).

Riferimenti

Questo articolo mostra la relazione tra David Hilbert e Macchina di Turing. Per accedere a ogni articolo dal quale è stato estratto informazioni, visitare:

Ehi! Siamo su Facebook ora! »