Proofs of Termination and the “91” Function

Solomon Feferman

Type: Book-Chapter

Publication Date: 1991-01-01

Citations: 3

DOI: https://doi.org/10.1016/b978-0-12-450010-5.50009-8

Similar Works

Action	Title	Year	Authors
+	The Method of Proofs and Refutations	2001
+	The Method of Proofs and Refutations	2001
+	2 The Method of Proofs and Refutations	2020
+	The Identity of Proofs and the Criterion for Admissible Reductions	2021	Seungrak Choi
+	Proofs and Refutations.	1980	Margarita R. Levin Imre Lakatos
+	Conference Report: Logic, Proofs and Algorithms	1998	Ruy J. G. B. de Queiroz Katia S. Guimarães
+	Proofs and proof theory	2014
+	Proofs and Algorithms	2011	Gilles Dowek
+	The Halting Problem and Formal Proofs	1993	Jan L. A. van de Snepscheut
+	Run-proof	2007
+ PDF Chat	Theory of proofs (arithmetic and analysis)	1977	G. E. Mints
+	First-Order Proof Procedures	1990	Melvin Fitting
+	Automatic Proofs of	2006	Graph Nonisomorphism
+	Hilbert-style Proofs	1993	David Gries Fred B. Schneider
+	Reflections on a Discarded Set of Proofs	1995	Daniel Ferrer
+	Proofs as Description of Computation	1980	Chris Goad
+	TR-2005011: Logic of Proofs for Bounded Arithmetic	2005	Evan Goris
+	Proofs And Algorithms: A Reply To Gerstein	1991	Stephen B. Maurer
+ PDF Chat	Proving Correctness and Completeness of Normal Programs — A Declarative Approach	2001	Włodzimierz Drabent Miroslawa Miłkowska
+	Usages of “Proof” and “Proving”	2010	David A. Reid Christine Knipping

Action	Title	Year	Authors
+	Feferman on Foundations	2017	Gerhard Jäger Wilfried Sieg

Action	Title	Year	Authors
+ PDF Chat	Textbook Examples of Recursion	1991	Donald E. Knuth