http://wiki.karljones.com/index.php?action=history&feed=atom&title=Metamathematics 2026-10-23T13:35:25Z Revision history for this page on the wiki MediaWiki 1.24.2 http://wiki.karljones.com/index.php?title=Metamathematics&diff=19108&oldid=prev 2016-10-05T03:17:55Z

<p>‎<span dir="auto"><span class="autocomment">See also</span></span></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr style='vertical-align: top;'> <td colspan='2' style="background-color: white; color:black; text-align: center;">← Older revision</td> <td colspan='2' style="background-color: white; color:black; text-align: center;">Revision as of 03:17, 5 October 2016</td> </tr><tr><td colspan="2" class="diff-lineno">Line 15:</td> <td colspan="2" class="diff-lineno">Line 15:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>== See also ==</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>== See also ==</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* [[Foundations of mathematics]]</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* [[Meta]]</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* [[Meta]]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* [[Metalogic]]</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* [[Metalogic]]</div></td></tr> </table>

Karl Jones http://wiki.karljones.com/index.php?title=Metamathematics&diff=19107&oldid=prev 2016-10-05T03:17:23Z

<p>Created page with &quot;&#039;&#039;&#039;Metamathematics&#039;&#039;&#039; is the study of <a href="/index.php/Mathematics" title="Mathematics">mathematics</a> itself using mathematical methods. This study produces metatheories, which are mathematical theories about other mathema...&quot;</p> <p><b>New page</b></p><div>'''Metamathematics''' is the study of [[mathematics]] itself using mathematical methods.<br /> <br /> This study produces metatheories, which are mathematical theories about other mathematical theories.<br /> <br /> == Description ==<br /> <br /> Emphasis on metamathematics (and perhaps the creation of the term itself) owes itself to David Hilbert's attempt to secure the foundations of mathematics in the early part of the 20th Century.<br /> <br /> Metamathematics provides &quot;a rigorous mathematical technique for investigating a great variety of foundation problems for mathematics and logic&quot; (Kleene 1952, p. 59).<br /> <br /> An important feature of metamathematics is its emphasis on differentiating between reasoning from inside a system and from outside a system.<br /> <br /> An informal illustration of this is categorizing the proposition &quot;2+2=4&quot; as belonging to mathematics while categorizing the proposition &quot;'2+2=4' is valid&quot; as belonging to metamathematics.<br /> <br /> == See also ==<br /> <br /> * [[Meta]]<br /> * [[Metalogic]]<br /> * [[Model theory]]<br /> * [[Philosophy of mathematics]]<br /> * [[Proof theory]]<br /> <br /> == External links ==<br /> <br /> * [https://en.wikipedia.org/wiki/Metamathematics Metamathematics] @ Wikipedia<br /> <br /> <br /> [[Category:Mathematics]]</div>

Karl Jones