Taula de continguts
5 les relacions: Alan Turing, Constant de Chaitin, Cos (matemàtiques), Nombre construïble, Teoria de la computabilitat.
Alan Turing
Alan Mathison Turing (Maida Vale, 23 de juny de 1912 - Wilmslow, 7 de juny de 1954) fou un científic, matemàtic, lògic, criptoanalista, biomatemàtic i maratonià britànic.
Veure Nombre computable і Alan Turing
Constant de Chaitin
En complexitat computacional, la constant de Chaitin o nombre Omega de Chaitin o probabilitat de parada és, de forma informal, la probabilitat de que un programa escrit al atzar aturi correctament una màquina de Turing determinista.
Veure Nombre computable і Constant de Chaitin
Cos (matemàtiques)
nombres construïbles. En l'àlgebra abstracta, un cos és un sistema algebraic en què és possible efectuar la suma, resta, multiplicació i divisió (llevat de la divisió per 0), i en la qual se satisfan certes lleis.
Veure Nombre computable і Cos (matemàtiques)
Nombre construïble
Un punt en el pla euclidià és un punt construïble si, donat un sistema de coordenades fix (o un segment lineal fix de longitud unitària), el punt pot ser construït amb regle i compàs.
Veure Nombre computable і Nombre construïble
Teoria de la computabilitat
La teoria de la computabilitat és la part de la computació que estudia els problemes de decisió que poden ser resolts amb un algorisme o equivalentment amb una màquina de Turing.