21 relazioni: Alan Turing, Algoritmo, Algoritmo ricorsivo, Alonzo Church, Andrea Milani Comparetti, Brevetto software, David Deutsch, Funzione (matematica), Funzione calcolabile, Insieme ricorsivamente enumerabile, Intelligenza artificiale forte, Linguaggio ricorsivamente enumerabile, Logica della computabilità, Macchina di Turing, Principio di Markov, Storia dell'informatica, Supercompito, Teorema di Church, Teorema di Rice, Teoria della complessità computazionale, Turing equivalenza.
Alan Turing
Il suo lavoro ebbe vasta influenza sullo sviluppo dell'informatica, grazie alla sua formalizzazione dei concetti di algoritmo e calcolo mediante la macchina di Turing, che a sua volta ha svolto un ruolo significativo nella creazione del moderno computer.
Nuovo!!: Tesi di Church-Turing e Alan Turing · Mostra di più »
Algoritmo
Un algoritmo è un procedimento che risolve un determinato problema attraverso un numero finito di passi elementari in un tempo ragionevole.
Nuovo!!: Tesi di Church-Turing e Algoritmo · Mostra di più »
Algoritmo ricorsivo
In informatica viene detto algoritmo ricorsivo un algoritmo espresso in termini di se stesso, ovvero in cui l'esecuzione dell'algoritmo su un insieme di dati comporta la semplificazione o suddivisione dell'insieme di dati e l'applicazione dello stesso algoritmo agli insiemi di dati semplificati.
Nuovo!!: Tesi di Church-Turing e Algoritmo ricorsivo · Mostra di più »
Alonzo Church
Ha dato importanti contributi allo sviluppo della logica matematica e ai fondamenti dell'informatica teorica.
Nuovo!!: Tesi di Church-Turing e Alonzo Church · Mostra di più »
Andrea Milani Comparetti
Il padre, Adriano Milani Comparetti, fu un neuropsichiatra pioniere nella riabilitazione neuropsichiatrica infantile, suo zio fu Don Lorenzo Milani, suoi trisnonni sono stati Domenico Comparetti, filologo, papirologo ed epigrafista ed Elena Raffalovich, pedagogista, un suo bisnonno fu Luigi Adriano Milani, numismatico e filologo.
Nuovo!!: Tesi di Church-Turing e Andrea Milani Comparetti · Mostra di più »
Brevetto software
Con il termine brevetto software, secondo la definizione adottata dalla FFII (Foundation for a Free Information Infrastructure), ci si riferisce a un brevetto applicato «a ogni prestazione di un computer realizzata per mezzo di un programma per elaboratore».
Nuovo!!: Tesi di Church-Turing e Brevetto software · Mostra di più »
David Deutsch
Premiato con il premio Dirac nel 1998, è professore presso il dipartimento di fisica atomica e laser presso il centro per la computazione quantistica, nel laboratorio Clarendon dell'Università di Oxford.
Nuovo!!: Tesi di Church-Turing e David Deutsch · Mostra di più »
Funzione (matematica)
In matematica, una funzione è una relazione tra due insiemi, chiamati dominio e codominio della funzione, che associa a ogni elemento del dominio uno e un solo elemento del codominio.
Nuovo!!: Tesi di Church-Turing e Funzione (matematica) · Mostra di più »
Funzione calcolabile
Le funzioni calcolabili sono il principale oggetto di studio della teoria della calcolabilità.
Nuovo!!: Tesi di Church-Turing e Funzione calcolabile · Mostra di più »
Insieme ricorsivamente enumerabile
Nella teoria della calcolabilità esistono due definizioni di insieme ricorsivamente enumerabile (spesso abbreviato in insieme r.e.) o insieme semi-decidibile.
Nuovo!!: Tesi di Church-Turing e Insieme ricorsivamente enumerabile · Mostra di più »
Intelligenza artificiale forte
Nella filosofia dell'intelligenza artificiale l'intelligenza artificiale forte è l'idea che opportune forme di intelligenza artificiale possano veramente ragionare e risolvere problemi; l'intelligenza artificiale forte sostiene che è possibile per le macchine diventare sapienti o coscienti di sé, senza necessariamente mostrare processi di pensiero simili a quelli umani.
Nuovo!!: Tesi di Church-Turing e Intelligenza artificiale forte · Mostra di più »
Linguaggio ricorsivamente enumerabile
Un insieme A è detto ricorsivamente enumerabile quando esiste una funzione di enumerazione f di cui A è il codominio.
Nuovo!!: Tesi di Church-Turing e Linguaggio ricorsivamente enumerabile · Mostra di più »
Logica della computabilità
La Logica della computabilità (Computability logic o CoL) è un programma di ricerca e un modello matematico per riqualificare la logica come una teoria formale sistematica della computabilità, in contrapposizione alla logica classica che può essere vista come una teoria formale della verità.
Nuovo!!: Tesi di Church-Turing e Logica della computabilità · Mostra di più »
Macchina di Turing
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.
Nuovo!!: Tesi di Church-Turing e Macchina di Turing · Mostra di più »
Principio di Markov
Il Principio di Markov, che deve il nome ad Andrej Andreevič Markov, è una tautologia della logica classica che non è intuizionisticamente valida ma può essere giustificata costruttivamente.
Nuovo!!: Tesi di Church-Turing e Principio di Markov · Mostra di più »
Storia dell'informatica
La storia dell'informatica è la storia della ominima scienza applicata.
Nuovo!!: Tesi di Church-Turing e Storia dell'informatica · Mostra di più »
Supercompito
In filosofia, un supercompito (supertask) è una successione composta da un insieme numerabile di operazioni che avvengono sequenzialmente in un intervallo finito di tempo.
Nuovo!!: Tesi di Church-Turing e Supercompito · Mostra di più »
Teorema di Church
Il teorema di Church, dimostrato dal matematico Alonzo Church, nel 1936, afferma che la logica predicativa è indecidibile.
Nuovo!!: Tesi di Church-Turing e Teorema di Church · Mostra di più »
Teorema di Rice
Nella logica matematica, nella teoria della calcolabilità e nell'informatica teorica, il teorema di Rice costituisce un importante risultato nella teoria delle funzioni ricorsive e delle funzioni calcolabili (le due sono la stessa cosa, secondo la tesi di Church-Turing).
Nuovo!!: Tesi di Church-Turing e Teorema di Rice · Mostra di più »
Teoria della complessità computazionale
In informatica, la teoria della complessità computazionale è una branca della teoria della computabilità che studia le risorse minime necessarie (principalmente tempo di calcolo e memoria) per la risoluzione di un problema.
Nuovo!!: Tesi di Church-Turing e Teoria della complessità computazionale · Mostra di più »
Turing equivalenza
La Turing equivalenza è la proprietà dei modelli di calcolo che hanno lo stesso potere computazionale di una macchina di Turing universale (MdTu).
Nuovo!!: Tesi di Church-Turing e Turing equivalenza · Mostra di più »
Riorienta qui:
Congettura di Church-Turing, Tesi di church turing.