Solid Klein bottle: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Addbot
m Bot: Migrating 3 interwiki links, now provided by Wikidata on d:q3784294
en>BD2412
 
Line 1: Line 1:
{{Unreferenced stub|auto=yes|date=December 2009}}
Oscar is how he's known as and he completely loves this name. Hiring is her working day job now but she's always needed her own company.  [http://my.clevelandclinic.org/disorders/venereal_diseases/hic_genital_warts.aspx std testing] at [http://www.adosphere.com/member/28512/blog/view/66112/ home std test kit] One of the very best things in the globe for me is to do aerobics and now I'm trying to make money with it. Her spouse and her live in [http://www.teenvalley.net/blog/17832 over the counter std test] Puerto Rico but she will have to [http://Www.Happy-With-Herpes.com/ transfer] 1 day or another.<br><br>Here is my webpage: std home test ([http://peak.hosting.bizfree.kr/xe/?document_srl=247364 simply click the following post])
In [[metalogic]] and [[metamathematics]], '''Frege's theorem''' is a [[metatheorem]] which states that the [[Peano axiom]]s of [[arithmetic]] can be derived in [[second-order logic]] from [[Hume's principle]]. It was first proven, informally, by [[Gottlob Frege]] in his ''Die Grundlagen der Arithmetik'' ([[Frege's Foundations of Arithmetic|Foundations of Arithmetic]]), published in 1884, and proven more formally in his ''Grundgesetze der Arithmetik'' ([[Frege's Grundgesetze|Basic Laws of Arithmetic]]), published in two volumes, in 1893 and 1903. The theorem was re-discovered by [[Crispin Wright]] in the early 1980s and has since been the focus of significant work. It is at the core of the [[philosophy of mathematics]] known as [[neo-logicism]].
 
== Frege's theorem in propositional logic ==
In [[Propositional calculus|propositional logic]], Frege's theorems refers to this [[tautology (logic)|tautology]]:
 
:<math>(P \to (Q \to R)) \to ((P \to Q) \to (P \to R))</math>
 
==External links==
* [[Stanford Encyclopedia of Philosophy]]:
** "[http://plato.stanford.edu/entries/frege-logic/ Frege's Theorem and Foundations for Arithmetic]"&nbsp;— by [[Edward Zalta]].
 
{{DEFAULTSORT:Frege's Theorem}}
[[Category:Theorems in the foundations of mathematics]]
[[Category:Theorems in propositional logic]]
[[Category:Metatheorems]]
 
{{Logic-stub}}

Latest revision as of 18:20, 18 June 2014

Oscar is how he's known as and he completely loves this name. Hiring is her working day job now but she's always needed her own company. std testing at home std test kit One of the very best things in the globe for me is to do aerobics and now I'm trying to make money with it. Her spouse and her live in over the counter std test Puerto Rico but she will have to transfer 1 day or another.

Here is my webpage: std home test (simply click the following post)