S.O.S. Mathematics CyberBoard

Your Resource for mathematics help on the web!
 It is currently Tue, 18 Jun 2013 21:50:26 UTC

 All times are UTC [ DST ]

 Page 1 of 1 [ 1 post ]
 Print view Previous topic | Next topic
Author Message
 Post subject: Proof theoryPosted: Mon, 6 Jul 2009 22:04:01 UTC
 S.O.S. Oldtimer

Joined: Sat, 5 May 2007 12:48:30 UTC
Posts: 241
Hello,

I do hope that someone here is familiar with Hilbert's proof theory!!!
I'm reading an article by W. Sieg which describes Hilbert's attempts to prove the consistency of arithmetics. When Sieg summarises proof theory, he states
- for Hilbert, a proof should only contain , numerals and sentential logical connectives.
- a proof theoretic argument starts with the transformation of a formal proof with a numeric endformula into something that consists only of numeric formulas.

I cannot imagine how this transformation might work for a proof that contains e.g. an expression of the form . Or some other statements that might be used but not expressed with .

Could someone explain this to me, please?

Top

 Display posts from previous: All posts1 day7 days2 weeks1 month3 months6 months1 year Sort by AuthorPost timeSubject AscendingDescending
 Page 1 of 1 [ 1 post ]

 All times are UTC [ DST ]

Who is online

Users browsing this forum: No registered users

 You cannot post new topics in this forumYou cannot reply to topics in this forumYou cannot edit your posts in this forumYou cannot delete your posts in this forum

Search for:
 Jump to:  Select a forum ------------------ High School and College Mathematics    Algebra    Geometry and Trigonometry    Calculus    Matrix Algebra    Differential Equations    Probability and Statistics    Proposed Problems Applications    Physics, Chemistry, Engineering, etc.    Computer Science    Math for Business and Economics Advanced Mathematics    Foundations    Algebra and Number Theory    Analysis and Topology    Applied Mathematics    Other Topics in Advanced Mathematics Other Topics    Administrator Announcements    Comments and Suggestions for S.O.S. Math    Posting Math Formulas with LaTeX    Miscellaneous
Contact Us | S.O.S. Mathematics Homepage
Privacy Statement | Search the "old" CyberBoard

users online during the last hour
Powered by phpBB © 2001, 2005-2011 phpBB Group.
Copyright © 1999-2013 MathMedics, LLC. All rights reserved.
Math Medics, LLC. - P.O. Box 12395 - El Paso TX 79913 - USA