Top Tweets for #KreiselProofTheoryPart1

almost 3 years ago

#VonNeumann1927-1 [#CLASSICS #FefermanProofTheory #Gentzen1936 #Geschichte:#History #HistoryOfMathematics #KreiselProofTheoryPart1 #Logic] Mathematische Zeitschrift 26, 1–46 (1927) Zur Hilbertschen #Beweistheorie J. v. Neumann in #Budapest M.t. On Hilbert's #ProofTheory

LGcommaI's tweet photo. #VonNeumann1927-1
[#CLASSICS
#FefermanProofTheory
#Gentzen1936
#Geschichte:#History
#HistoryOfMathematics
#KreiselProofTheoryPart1
#Logic]

Mathematische Zeitschrift 26, 1–46 (1927)

Zur Hilbertschen #Beweistheorie

J. v. Neumann in #Budapest

M.t. On Hilbert's #ProofTheory https://t.co/ANaJCo8LkD

Logic Geometry, Information @LGcommaI

about 3 years ago

#KreiselProofTheoryPart1-4 "Consequences of #Goedel's Theorems for proof theory. The following two consequences of the second incompleteness theorem are well known. 1. There WILL be a need for a philosophical analysis of conceptions $\mathcal{P}$ [OUTSIDE] $\mathcal{P}_0$ >

$LGcommaI's tweet photo. #KreiselProofTheoryPart1-4 "Consequences of #Goedel's Theorems for proof theory. The following two consequences of the second incompleteness theorem are well known. 1. There WILL be a need for a philosophical analysis of conceptions $\mathcal{P}$ [OUTSIDE] $\mathcal{P}_0$ > https://t.co/A9oGnIduBg$

787

Logic Geometry, Information @LGcommaI

about 3 years ago

#KreiselConsistency-1 [#HISTORYofMathematics #KreiselProofTheoryPart1 #Philosophy] The Journal of Symbolic #Logic 23(2), 155-182 (1958) Mathematical Significance of Consistency Proofs Georg Kreisel M.t. Mathematische Bedeutung von Widerspruchsfreiheitsbeweisungen

467

Logic Geometry, Information @LGcommaI

about 3 years ago

#KreiselProofTheoryPart1-3 "I think we shall get a clear and correct perspective..on what has been done in proof theory and on what to do next, if we first recall how Hilbert himself regarded the matter. Separating the foundations of mathematics from #philosophy(epistemology).>

LGcommaI's tweet photo. #KreiselProofTheoryPart1-3

"I think we shall get a clear and correct perspective..on what has been done in proof theory and on what to do next, if we first recall how Hilbert himself regarded the matter.

Separating the foundations of mathematics from #philosophy(epistemology).> https://t.co/ucvaz7d1pN

823

Logic Geometry, Information @LGcommaI

over 3 years ago

#KreiselProofTheoryPart1-2 "1. Introduction One might fairly say that the very meaning of our subject has changed since #Hilbert introduced it under the name #Beweistheorie (it was meant to be the principal tool for formulating Hilbert's general conception of how to analyze >

LGcommaI's tweet photo. #KreiselProofTheoryPart1-2

"1. Introduction
One might fairly say that the very meaning of our subject has changed since #Hilbert introduced it under the name #Beweistheorie (it was meant to be the principal tool for formulating Hilbert's general conception of how to analyze
> https://t.co/WKABUBLQbl

329

Logic Geometry, Information @LGcommaI

over 3 years ago

#KreiselProofTheoryPart1-1 [#Computing #Formalization #History #HistoryOfMathematics #KreiselCompleteness] The Journal of Symbolic #Logic 33(3), pp. 321-388 (1968) A survey of #ProofTheory Georg Kreisel (#Stanford University, #USA) M.t. Eine Übersicht zum Thema #Beweistheorie

LGcommaI's tweet photo. #KreiselProofTheoryPart1-1
[#Computing
#Formalization
#History
#HistoryOfMathematics
#KreiselCompleteness]

The Journal of Symbolic #Logic 33(3), pp. 321-388 (1968)

A survey of #ProofTheory

Georg Kreisel (#Stanford University, #USA)

M.t. Eine Übersicht zum Thema #Beweistheorie https://t.co/DjKjQokJcS

277

Top Tweets for #KreiselProofTheoryPart1

Last Seen Hashtags on Sotwe

Trends for you

Most Popular Users