Recursive function theory and logic - Ann Yasuhara - Google книги
She also began graduate studies. She gave a paper on the recursive functions at the International Congress of Mathematicians in Zurich in , where she first proposed that such functions be studied as a separate subfield of mathematics.
More papers followed, and she received her Ph. In , she became a contributing editor of the Journal of Symbolic Logic.
In , she wrote and printed a book, Playing with Infinity, a discussion of ideas in number theory and logic for the lay reader. Many copies were destroyed by bombing and the book was not distributed until the war ended. In , the war over, she obtained her first regular position at the Budapest Teachers' College.
- The Internet and Instruction: Activities and Ideas!
- 1-Convex Manifolds are p-Kahler?
- Recursive Function Theory and Logic by Ann Yasuhara, Hardcover | Barnes & Noble®.
Hilbert's tenth problem is perhaps the most famous recursively undecidable problem. Most proofs of recursive undecidability use reduction.
- The Reign of Relativity: Philosophy in Physics 1915-1925 (Oxford Studies in Philosophy of Science).
- 1st Edition;
- Classical Recursion Theory, Volume II, Volume - 1st Edition!
They show that recursive decidability of the problem under study would imply recursive decidability of another problem known to be recursively undecidable. As far as direct proofs are concerned, they usually employ the idea of the Cantor diagonal method.
This entry contributed by Alex Sakharov author's link. Davis, M.
Computability and Unsolvability. New York: Dover Kleene, S.
Theory of Recursive Functions and Effective Computability
Mathematical Logic. New York: Dover, Rogers, H. Theory of Recursive Functions and Effective Computability.