The following pages link to Jan von Plato (Q167888):
Displaying 50 items.
- Saved from the cellar. Gerhard Gentzen's shorthand notes on logic and foundations of mathematics (Q530609) (← links)
- Combinatorial analysis of proofs in projective and affine geometry (Q638479) (← links)
- Proof-theoretical analysis of order relations (Q701722) (← links)
- Finite partial exchangeability (Q803640) (← links)
- Reductive relations in interpretations of probability (Q1162748) (← links)
- The significance of the ergodic decomposition of stationary measures for the interpretation of probability (Q1171322) (← links)
- (Q1279728) (redirect page) (← links)
- A constructive theory of ordered affine geometry (Q1279729) (← links)
- Formalization of Hilbert's geometry of incidence and parallelism (Q1293015) (← links)
- Oresme's proof of the density of rotations of a circle through an irrational angle (Q1319120) (← links)
- Natural deduction with general elimination rules (Q1407508) (← links)
- Book review of: E. G. Omodeo (ed.) and A. Policriti (ed.), Martin Davis on computability, computational logic, and mathematical foundations (Q1670971) (← links)
- Permutability of rules in lattice theory. (Q1771961) (← links)
- Real numbers and projective spaces: intuitionistic reasoning with undecidable basic relations (Q1788334) (← links)
- Skolem's discovery of Gödel-Dummett logic (Q1868245) (← links)
- The axioms of constructive geometry (Q1902978) (← links)
- From axiomatic logic to natural deduction (Q2259010) (← links)
- Gödel, Gentzen, Goodstein: the magic sound of a G-string (Q2341287) (← links)
- Von Neumann explains his game theory to Gödel, September 1940 (Q2663660) (← links)
- (Q2744125) (← links)
- David Hilbert’s lectures on the foundations of arithmetic and logic 1917–1933. Edited by William Ewald and Wilfried Sieg. Springer, Berlin, Heidelberg and New York, 2013, xxv + 1062 pp. (Q2795204) (← links)
- GENERALITY AND EXISTENCE: QUANTIFICATIONAL LOGIC IN HISTORICAL PERSPECTIVE (Q2795206) (← links)
- NORMAL DERIVABILITY IN CLASSICAL NATURAL DEDUCTION (Q2890694) (← links)
- Gentzen's Proof Systems: Byproducts in a Work of Genius (Q2915886) (← links)
- A SEQUENT CALCULUS ISOMORPHIC TO GENTZEN’S NATURAL DEDUCTION (Q3005996) (← links)
- (Q3016126) (← links)
- (Q3101104) (← links)
- Proof Analysis (Q3114184) (← links)
- Counting and Numbers, from Pure Mathesis to Base Conversion Algorithms (Q3305640) (← links)
- Gentzen's Proof of Normalization for Natural Deduction (Q3503742) (← links)
- (Q3536282) (← links)
- The Method of Arbitrary Functions (Q3657113) (← links)
- (Q3838817) (← links)
- Order in open intervals of computable reals (Q4237909) (← links)
- Cut Elimination in the Presence of Axioms (Q4254567) (← links)
- Sequent calculus in natural deduction style (Q4328835) (← links)
- (Q4376959) (← links)
- Translations from natural deduction to sequent calculus (Q4434498) (← links)
- (Q4552746) (← links)
- From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction (Q4608555) (← links)
- Organization and development of a constructive axiomatization (Q4647586) (← links)
- (Q4713272) (← links)
- Proof systems for lattice theory (Q4818936) (← links)
- (Q4844969) (← links)
- (Q4939407) (← links)
- KURT GÖDEL’S FIRST STEPS IN LOGIC: FORMAL PROOFS IN ARITHMETIC AND SET THEORY THROUGH A SYSTEM OF NATURAL DEDUCTION (Q4961869) (← links)
- Il silenzio delle sirene: La matematica greca antica (Q4983348) (← links)
- Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics (Q5068823) (← links)
- What Are the Axioms for Numbers and Who Invented Them? (Q5115870) (← links)
- Can Mathematics Be Proved Consistent? (Q5119164) (← links)
