|
|
|
|
Constructivism (mathematics)
Constructivism (mathematics) This article is not about the ... to mathematics. In the philosophy of mathematics, constructivism asserts that it is necessary to find ... existence, according to constructivists. See constructive proof. Constructivism is often confused with intuitionism, but in ... fact, intuitionism is only one kind of constructivism. Intuitionism maintains that the foundations of mathematics ... making mathematics into an intrinsically subjective activity. Constructivism does not, and is entirely consonant ...
http://en.wikipedia.org/wiki/Constructivism_(mathematics) - 17k - Cached - Similar pages
|
Talk:Constructivism (mathematics)
Talk:Constructivism (mathematics) I think a better name for this page is constructivism (mathematics). Mathematicians and philosophers of mathematics do ... to distinguish it from what is called "constructivism" in other fields such as architecture or ... serious question to ask. I'm a math person and the example of Cauchy sequences ... to be at the heart of what constructivism is, yet this question is completely ...
http://en.wikipedia.org/wiki/Talk:Constructivism_(mathematics) - 16k - Cached - Similar pages
|
User talk:Michael Hardy
... Hardy 18:58, 12 October 2005 (UTC) Math punctuation I understand your concerns, but my ... Hardy 19:20, 5 October 2005 (UTC) constructivism (mathematics) Hi Michael -- I see what you ... was just thinking that all meanings of constructivism are created equal and there seemed to ... totally missing the point! "all meanings of constructivism are created equal and there seemed to ... the others"? The point is: the word "constructivism" in philosophy of education and the ...
http://en.wikipedia.org/wiki/User_talk:Michael_Hardy - 119k - Cached - Similar pages
|
Intuitionistic Type Theory
... theory based on the principles of mathematical constructivism. Type Theory was introduced by Per Martin ... The basic connectives of Type Theory are: <math>\Pimath>-types <math>\Pimath>-types, also called dependent function types, ...
http://en.wikipedia.org/wiki/Intuitionistic_Type_Theory - 21k - Cached - Similar pages
|
Infinity
... real analysis In real analysis, the symbol <math>\inftymath>, called "infinity", denotes an unbounded limit. <math>x \rightarrow \inftymath> means that x grows beyond any assigned value, and <math>x \rightarrow -\infty means x ...
http://en.wikipedia.org/wiki/Infinity - 44k - Cached - Similar pages
|
Talk:Cantor's diagonal argument
... but a thorough hashing of intuitionism or constructivism on this topic requires a separate article ... are finite because they are less than <math>\inftymath>. But here's the catch: "<math>\inftymath>" is not a real number (just ...
http://en.wikipedia.org/wiki/Talk:Cantor's_diagonal_argument - 121k - Cached - Similar pages
|
Talk:Relation (mathematics)
... I stop in the halls in the math department finds that most mathematicians define a ... with universe E. If the m-tuple <math>\vec amath> = (a 1 , …, a m ) in E ... that it satisfies the relation R; otherwise, <math>\vec amath> does not satisfy R. The integer ...
http://en.wikipedia.org/wiki/Talk:Relation_(mathematics) - 177k - Cached - Similar pages
|
Constructional mathematics (translated from German)
... both) of P and Q proven. Over <math>\exists_{x\in X} P(x)math> constructionally to prove, <math>a\in a Xmath> becomes; together with a proof for <math>P(a) indicated. Over |
Nonconstructive proof
... theorem. According to the philosophical viewpoint of constructivism, nonconstructive proofs constitute a different kind of ... of the theorem "There exist irrational numbers <math>amath> and <math>bmath> such that ...
http://en.wikipedia.org/wiki/Nonconstructive_proof - 6k - Cached - Similar pages
|
User:Matthew Stannard/Scratch/jokes
... of bovine leather. Mathematics #1: You have <math>\int_0^\pi \sin(x)\,dxmath> cows. Mathematics #2: You have <math>\sum_{n=0}^\infty {1 \over 2^n}math> cows. Mathematics #3: You have <math>\left\lfloor {e^2 \over \pi} \ ...
http://en.wikipedia.org/wiki/User:Matthew_Stannard/Scratch/jokes - 96k - Cached - Similar pages
|
| Page:1 2 3 4 5 6 Next >> |
