|
|
|
|
|
|
|
|
1 - 10 von 55 |
|
|
Ihre Aktion |
Suchen (Alle Wörter (XALL)) unsolvability
|
|
|
|
|
|
1. |
Three views of logic : mathematics, philosophy, and computer science Loveland, Donald W. *1934-*. - Princeton, NJ [u.a.] : Princeton Univ. Press, 2014 ... RM-Semi-Decidable Relations; the Halting Problem ... Unsolvability of Hilbert's Decision Problem and Thue's ...
|
|
|
|
2. |
The philosophy of information Floridi, Luciano *1964-*. - 1. publ. in paperback. - Oxford [u.a.] : Oxford Univ. Press, 2013 ... paradoxes ... Conclusion ... The logical unsolvability of the Gender problem ... Summary ... Introduction ...
|
|
|
|
3. |
Alan Turing : his work and impact Turing, Alan *1912-1954*. - Amsterdam : Elsevier, 2013 ... Davis illuminates Three Proofs of the Unsolvability of the Entscheidungsproblem Samson Abramsky ...
|
|
|
|
4. |
Logic, methodology and philosophy of science IV : proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971 Suppes, Patrick *1922-2014*. - Online-Ausg.. - Amsterdam : North-Holland Pub. Co, 2011 ... FOUNDATIONS OF MATHEMATICAL THEORIES On Recursive Unsolvability of Hilbert's Tenth Problem, Yu. V. Matijasevic ...
|
|
|
|
5. |
Fundamentals of mathematics : an introduction to proofs, logic, sets, and numbers Schröder, Bernd S. W. *1966-*. - Hoboken, New Jersey : Wiley, 2010 ... Fields: Vector Spaces and Algebras ... Unsolvability of the Quintic by Radicals ... Irreducible ...
|
|
|
|
6. |
Mathematical logic Tourlakis, George J.. - Hoboken, NJ : Wiley, 2008 ... Computations A. ... Semi-computable Relations; Unsolvability Godel's First Incompleteness Theorem A. ...
|
|
|
|
7. |
Galois theory for beginners : a historical perspective Bewersdorff, Jörg *1958-*. - Providence, RI : American Mathematical Society, 2006 ... Fundamental Theorem of Galois Theory ... The Unsolvability of the Classical Construction Problems ... ...
|
|
|
|
8. |
Computability theory Cooper, Stuart B. *1943-2015*. - Boca Raton, Fla. [u.a.] : Chapman & Hall/CRC Press, 2004 ... of Incomputability ... Computability and Unsolvability in the Real World ... Models of Computability ...
... Form Theorem ... Incomputable Sets and the Unsolvability of the Halting Problem for Turing Machines ...
|
|
|
|
9. |
Abel's proof : an essay on the sources and meaning of mathematical unsolvability Pesic, Peter *1948-*. - Cambridge, Mass. [u.a.] : M I T Press, 2003
|
|
|
|
10. |
Mathematical logic in the 20th century Sacks, Gerald E. *1933-2019*. - Singapore [u.a.] : World Scientific [u.a.], 2003 ... Solovay, Robert M. ... On Degrees of Recursive Unsolvability Spector, Clifford ... A Decision Method ...
|
|
|
|
|
|
|
1 - 10 von 55 |
|
|
|
|
1 - 10 von 55 |
|
|