Pàgines que enllacen amb «Martin Davis»
Aparença
Les següents pàgines enllacen amb Martin Davis
Hi ha 15 elements.
- Gottfried Wilhelm Leibniz (← enllaços | modifica)
- Problemes de Hilbert (← enllaços | modifica)
- Teorema d'incompletesa de Gödel (← enllaços | modifica)
- Leopold Kronecker (← enllaços | modifica)
- Hilary Putnam (← enllaços | modifica)
- Tesi de Church-Turing (← enllaços | modifica)
- Màquina universal de Turing (← enllaços | modifica)
- Characteristica universalis (← enllaços | modifica)
- Informàtica teòrica (← enllaços | modifica)
- Julia Robinson (← enllaços | modifica)
- Alonzo Church (← enllaços | modifica)
- Emil Post (← enllaços | modifica)
- Algorisme de Davis-Putnam (← enllaços | modifica)
- Anatoli Maltsev (← enllaços | modifica)
- Systems of Logic Based on Ordinals (← enllaços | modifica)