Solid Klein bottle - Revision history

en>BD2412: Fixing links to disambiguation pages, replaced: quotient space → quotient space using AWB

2014-06-18T17:20:47Z

Fixing links to disambiguation pages, replaced: quotient space → quotient space using AWB

← Older revision		Revision as of 19:20, 18 June 2014
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]" — by [[Edward Zalta]].~~

	~~{{DEFAULTSORT:Frege's Theorem}}~~
	~~[[Category:Theorems in~~ the ~~foundations of mathematics~~]]
	~~[[Category:Theorems in propositional logic]]~~
	~~[[Category:Metatheorems]]~~

	~~{{Logic-stub}}~~

en>Addbot: Bot: Migrating 3 interwiki links, now provided by Wikidata on d:q3784294

2013-03-06T23:50:37Z

Bot: Migrating 3 interwiki links, now provided by Wikidata on d:q3784294

← Older revision		Revision as of 01:50, 7 March 2013
Line 1:		Line 1:
	~~The writer~~'s ~~title~~ is ~~Christy~~. ~~Since he~~ was ~~18 he~~'s ~~been working as an info officer but he ideas on altering it. Ohio is exactly where~~ his ~~home is~~ and ~~his family members enjoys it~~. ~~What me~~ and ~~my family members adore~~ is ~~doing ballet but I~~'~~ve been taking on new things recently.~~<br><br>~~Visit my page ... cheap psychic readings (~~[http://~~cartoonkorea~~.~~com/ce002~~/~~1093612 http:~~//~~cartoonkorea~~.~~com/~~])		{{Unreferenced stub\|auto=yes\|date=December 2009}}
			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]" — by [[Edward Zalta]].

			{{DEFAULTSORT:Frege's Theorem}}
			[[Category:Theorems in the foundations of mathematics]]
			[[Category:Theorems in propositional logic]]
			[[Category:Metatheorems]]

			{{Logic-stub}}

en>Yobot: WP:CHECKWIKI error fixes (category with space) + general fixes using AWB (7796)

2011-07-29T09:03:40Z

WP:CHECKWIKI error fixes (category with space) + general fixes using AWB (7796)

New page

The writer's title is Christy. Since he was 18 he's been working as an info officer but he ideas on altering it. Ohio is exactly where his home is and his family members enjoys it. What me and my family members adore is doing ballet but I've been taking on new things recently.<br><br>Visit my page ... cheap psychic readings ([http://cartoonkorea.com/ce002/1093612 http://cartoonkorea.com/])