G Kreisel
Biographic Data
| ID | 3943779 |
|---|---|
| NAME | G Kreisel |
| GIVEN NAMES | G |
| FAMILY NAME | Kreisel |
| SIGNATURE | KREISEL G |
| AFFILIATIONS | University of Reading |
| VERIFIED | No |
| TOTAL WORKS | 8 |
| TOTAL CITATIONS | 9 |
| AUTHOR COUNT | 8 |
| EDITOR COUNT | 0 |
| FIRST PUBLICATION YEAR | 1953 |
| LATEST PUBLICATION YEAR | 1998 |
| H-INDEX | 2 |
Second Thoughts Around Some of Göde's Writings
A notion of mechanistic theory
La prédicativité
la Socit mathmatique de France.)
Wittgenstein's Theory and Practice of Philosophy
Wittgenstein's Remarks on the Foundations of Mathematics
Some Uses of Metamathematics
The Diagonal Method in Formalized Arithmetic
A Variant to Hilbert's Theory of the Foundations of Arithmetic
IN Hilbert's theory of the foundations of any given branch of mathematics the main problem is to establish the consistency (of a suitable formalisation) of this branch. Since the (intuitionist) criticisms of classical logic, which Hilbert's theory was intended to meet, never even alluded to inconsistencies (in classical arithmetic), and since the investigations of Hilbert's school have always established much more than mere consistency, it is nat…
Wittgenstein's Remarks on the Foundations of Mathematics
A notion of mechanistic theory
The Diagonal Method in Formalized Arithmetic
A Variant to Hilbert's Theory of the Foundations of Arithmetic
IN Hilbert's theory of the foundations of any given branch of mathematics the main problem is to establish the consistency (of a suitable formalisation) of this branch. Since the (intuitionist) criticisms of classical logic, which Hilbert's theory was intended to meet, never even alluded to inconsistencies (in classical arithmetic), and since the investigations of Hilbert's school have always established much more than mere consistency, it is nat…
The Diagonal Method in Formalized Arithmetic
A Variant to Hilbert's Theory of the Foundations of Arithmetic
IN Hilbert's theory of the foundations of any given branch of mathematics the main problem is to establish the consistency (of a suitable formalisation) of this branch. Since the (intuitionist) criticisms of classical logic, which Hilbert's theory was intended to meet, never even alluded to inconsistencies (in classical arithmetic), and since the investigations of Hilbert's school have always established much more than mere consistency, it is nat…
Some Uses of Metamathematics
Wittgenstein's Remarks on the Foundations of Mathematics
La prédicativité
la Socit mathmatique de France.)
Wittgenstein's Theory and Practice of Philosophy
A notion of mechanistic theory
Second Thoughts Around Some of Göde's Writings
Computer Science (6 works) · Epistemology (6 works) · Philosophy (6 works) · Philosophy of science (5 works) · Download (4 works) · Sociology (4 works) · World Wide Web (4 works) · Epistemology, Ethics, and Metaphysics (2 works) · History and Theory of Mathematics (2 works) · Library science (2 works)