Cuprins
7 relaţii: Alan Turing, Alonzo Church, Clasele de complexitate P și NP, Expresie matematică, Limbaj formal, Teoria calculabilității, Teza Church-Turing.
Alan Turing
Alan Mathison Turing, OBE, FRS a fost un informatician, matematician, logician, criptanalist, filosof și maratonist britanic.
Vedea Problema deciziei și Alan Turing
Alonzo Church
Alonzo Church a fost un matematician și logician american care a adus contribuții majore în logica matematică și fundamentele .
Vedea Problema deciziei și Alonzo Church
Clasele de complexitate P și NP
3.
Vedea Problema deciziei și Clasele de complexitate P și NP
Expresie matematică
În matematică, o expresie sau expresie matematică este o combinație finită de simboluri, bine formată după reguli care depind de context.
Vedea Problema deciziei și Expresie matematică
Limbaj formal
În matematică, logică, informatică și lingvistică un limbaj formal este o mulțime de cuvinte de lungime finită (șiruri de caractere) bazate pe un alfabet finit, și teoria științifică ce tratează aceste entități se numește teoria limbajelor formale.
Vedea Problema deciziei și Limbaj formal
Teoria calculabilității
Teoria calculabilității este o ramură a logicii matematice, a informaticii și a teoriei computației, care își are originea în anii 1930, cu studiul și al .
Vedea Problema deciziei și Teoria calculabilității
Teza Church-Turing
În teoria calculabilității, teza Church-Turing (cunoscută și sub numele de teza calculabilității, teza Turing-Church, conjectura Church-Turing, teza lui Church, conjectura lui Church sau teza lui Turing) este o ipoteză despre natura.