 |
| | Suchergebnis | | | | | | | | | © | |
|
| | | |||||||||||||
|
 |
Suchgeschichte |  |
| |
|
Kurzliste | |
| |
|
Detailanzeige | |
|
|
|
|
|
|
|
|
||||||||||
|
|
|||||
______________ | ||||||
|
|
|
|||
|
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 |
|
||||||||||||||||||||