The following pages link to Georg Kreisel (Q1238802):
Displaying 50 items.
- Linear logic (Q579249) (← links)
- (Q593411) (redirect page) (← links)
- What evidence is there that \(2^{\land}65536\) is a natural number? (Q689206) (← links)
- The intended interpretation of intuitionistic logic (Q793720) (← links)
- Constructions, proofs and the meaning of logical constants (Q793721) (← links)
- A continuation method for solving separable nonlinear least squares problems (Q795473) (← links)
- A simple application of the homotopy method to symmetric eigenvalue problems (Q796957) (← links)
- A continuous, constructive solution to Hilbert's \(17^{th}\) problem (Q798716) (← links)
- New formally undecidable propositions: Non-trivial lower bounds on proof complexity and related theorems (Q804570) (← links)
- Intuitionistic truth (Q1062982) (← links)
- An alternating direction implicit algorithm for the solution of linear complementarity problems arising from free boundary problems (Q1064037) (← links)
- Harvey Friedman's research on the foundations of mathematics (Q1073004) (← links)
- Constructing recursion operators in intuitionistic type theory (Q1094421) (← links)
- Principles of reflection and second-order logic (Q1097275) (← links)
- Variations on a thesis: intuitionism and computability (Q1102263) (← links)
- Church's thesis and the ideal of informal rigour (Q1103597) (← links)
- The Galvin-Prikry theorem and set existence axioms (Q1117221) (← links)
- Incompleteness in intuitionistic metamathematics (Q1182705) (← links)
- On the idea(l) of logical closure (Q1192341) (← links)
- A notion of mechanistic theory (Q1217700) (← links)
- Wie die Beweistheorie zu ihren Ordinalzahlen kam und kommt (Q1238803) (← links)
- Independent axiomatizability of sets of sentences (Q1262853) (← links)
- The structure of multiplicatives (Q1264140) (← links)
- (Q1299776) (redirect page) (← links)
- Second thoughts around some of Gödel's writings: A non-academic option (Q1299778) (← links)
- Intuitionistically provable recursive well-orderings (Q1820780) (← links)
- Global intuitionistic analysis (Q1820781) (← links)
- Some concepts concerning formal systems of number theory (Q2650392) (← links)
- (Q2856484) (← links)
- (Q3033728) (← links)
- (Q3048826) (← links)
- Some applications of formalized consistency proofs (Q3228606) (← links)
- (Q3230359) (← links)
- (Q3243266) (← links)
- Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül (Q3246321) (← links)
- (Q3246326) (← links)
- Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae (Q3259069) (← links)
- Mathematical significance of consistency proofs (Q3260570) (← links)
- HILBERT'S PROGRAMME (Q3262781) (← links)
- A remark on free choice sequences and the topological completeness proofs (Q3265662) (← links)
- (Q3269140) (← links)
- (Q3671969) (← links)
- (Q3691667) (← links)
- (Q3815270) (← links)
- (Q3843617) (← links)
- (Q3855172) (← links)
- (Q3880844) (← links)
- (Q3893922) (← links)
- (Q3914981) (← links)
- (Q3926540) (← links)
