#FefermanProofTheory - Twitter Hashtag

about 1 year ago

#BellinResourceLogic-1 [#AppliedMathematics #FefermanProofTheory #HuntKaufmannEtAl-1] Mechanizing Proof Theory: Resource-Aware Logics and Proof-Transformations to Extract Implicit Information Gianluigi Bellin Dissertation Stanford University 1990 M.t. Mechanisierung >

LGcommaI's tweet photo. #BellinResourceLogic-1
[#AppliedMathematics
#FefermanProofTheory
#HuntKaufmannEtAl-1]

Mechanizing Proof Theory: Resource-Aware Logics and Proof-Transformations to Extract Implicit Information

Gianluigi Bellin

Dissertation
Stanford University
1990

M.t. Mechanisierung
> https://t.co/2Rc0qzRVX4

1

2

0

127

Logic Geometry, Information @LGcommaI

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

0

1

0

1K

Logic Geometry, Information @LGcommaI

almost 3 years ago

#FefermanProofTheory-4 "1. Review of Hilbert's Program and Finitary Proof Theory Let us start with Hilbert's program itself and his conception of it. He was very concerned foundationally about the problems of the infinite in #mathematics. Those were of two kinds. >

1

2

1

276

Top Tweets for #FefermanProofTheory

Last Seen Hashtags on Sotwe

Trends for you

Most Popular Users