21. SparkNotes: Axioms And Postulates Home math Science math Study Guides Geometry III axioms and Postulates. axioms and Postulates. Navigate Here -, axioms and Postulates, Terms http://www.sparknotes.com/math/geometry3/axiomsandpostulates/

saveBookmark("", "", ""); Home Math Study Guides Geometry III : Axioms and Postulates - Navigate Here - Axioms and Postulates Terms Axioms of Equality Axioms of Inequality Postulates Axioms and Postulates Terms Axioms of Equality Axioms of Inequality ... How do I cite this SparkNote? Message Boards Ask a question or start a discussion on the SparkNotes community boards. Advanced Math Beginner Math Chaos and Fractals Geometry ... Number Theory Test Prep Books Raise your score with SparkNotes Test Prep. SAT II Math IC SAT II Math IIC Help Feedback ... Send to a friend Study right for the SAT II Chemistry test with the experts at SparkNotes. More... We'll help you raise your score on the SAT II Physics test! More... - Navigate Here - Axioms and Postulates Terms Axioms of Equality Axioms of Inequality Postulates Contact Us Terms and Conditions About

22. 03: Mathematical Logic And Foundations (This is true for axioms in sentential logic, and true but deeper in firstorder logic; math. Intelligencer 7 (1985), no. 3, 5354. MR86f03078 http://www.math.niu.edu/~rusin/known-math/index/03-XX.html

Search Subject Index MathMap Tour ... Help! ABOUT: Introduction History Related areas Subfields POINTERS: Texts Software Web links Selected topics here 03: Mathematical logic and foundations Introduction Mathematical Logic is the study of the processes used in mathematical deduction. The subject has origins in philosophy, and indeed it is only by nonmathematical argument that one can show the usual rules for inference and deduction (law of excluded middle; cut rule; etc.) are valid. It is also a legacy from philosophy that we can distinguish semantic reasoning ("what is true?") from syntactic reasoning ("what can be shown?"). The first leads to Model Theory, the second, to Proof Theory. Students encounter elementary (sentential) logic early in their mathematical training. This includes techniques using truth tables, symbolic logic with only "and", "or", and "not" in the language, and various equivalences among methods of proof (e.g. proof by contradiction is a proof of the contrapositive). This material includes somewhat deeper results such as the existence of disjunctive normal forms for statements. Also fairly straightforward is elementary first-order logic, which adds quantifiers ("for all" and "there exists") to the language. The corresponding normal form is prenex normal form. In second-order logic, the quantifiers are allowed to apply to relations and functions to subsets as well as elements of a set. (For example, the well-ordering axiom of the integers is a second-order statement). So how can we characterize the set of theorems for the theory? The theorems are defined in a purely procedural way, yet they should be related to those statements which are (semantically) "true", that is, statements which are valid in every model of those axioms. With a suitable (and reasonably natural) set of rules of inference, the two notions coincide for any theory in first-order logic: the Soundness Theorem assures that what is provable is true, and the Completeness Theorem assures that what is true is provable. It follows that the set of true first-order statements is effectively enumerable, and decidable: one can deduce in a finite number of steps whether or not such a statement follows from the axioms. So, for example, one could make a countable list of all statements which are true for all groups.

23. 54: General Topology Since the axioms of topology are stated in terms of subsets of X, From the sci.math FAQ How can you chop up a ball and reassemble the parts (the Banach http://www.math.niu.edu/~rusin/known-math/index/54-XX.html

Search Subject Index MathMap Tour ... Help! ABOUT: Introduction History Related areas Subfields POINTERS: Texts Software Web links Selected topics here 54: General topology Introduction More formally, a topological space is a set X on which we have a topology a collection of subsets of X which we call the "open" subsets of X. The only requirements are that both X itself and the empty subset must be among the open sets, that all unions of open sets are open, and that the intersection of two open sets be open. This definition is arranged to meet the intent of the opening paragraph. However, stated in this generality, topological spaces can be quite bizarre; for example, in most other disciplines of mathematics, the only topologies on finite sets are the discrete topologies (all subsets are open), but the definition permits many others. Thus a general theme in topology is to test the extent to which the axioms force the kind of structure one expects to use and then, as appropriate, introduce other axioms so as to better match the intended application. For example, a single point need not be a closed set in a topology. Does this seem "inappropriate"? Then perhaps you are envisioning a special kind of topological space, say a a metric space. This alone still need not imply the space looks enough like the shapes you may have seen in a textbook; if you really prefer to understand those shapes, you need to add the axioms of a manifold, perhaps. Many such levels of generality are possible.

24. AoPS Math Forum :: View Topic - Axioms For The Reals Mandelbrot Competition math Jam Wednesday, Aug 24 at 730 PM ET Post Posted Sat Oct 09, 2004 938 am Post subject axioms for the reals http://www.artofproblemsolving.com/Forum/topic-17848.html

WOOT - Olympiad training with many top students worldwide. Sponsored by D. E. Shaw group and Google Click here for more information. Font Size: The time now is Fri Sep 16, 2005 4:44 pm All times are GMT - 7 Hours Axioms for the reals Mark the topic unread Math Forum College Playground ... Theorems, Formulas and Other Questions Moderators: blahblahblah fedja Kent Merryfield Moubinool ... Myth Page of [3 Posts] Printer View Tell a Friend View previous topic View next topic Author Message Kent Merryfield Navier-Stokes Equations Joined: 11 Jun 2004 Posts: 1682 Posted: Sat Oct 09, 2004 9:38 am Post subject: Axioms for the reals It is common to develop the real numbers axiomatically. That is, we take to be a set which satisfies the axioms of an ordered field, and which also satifies one additional axiom. What should that one additional axiom be? I offer seven possible choices: 1. Every nonempty subset that is bounded above has a least upper bound. 2. Suppose , and for all , then either has a greatest element or has a least element.

25. Gödel’s Theorems (PRIME) (Without this condition, one could take as one’s axioms the set of all true propositions of (math is doomed if we can’t satisfy this condition. http://www.mathacademy.com/pr/prime/articles/godel/index.asp

BROWSE ALPHABETICALLY LEVEL: Elementary Advanced Both INCLUDE TOPICS: Basic Math Algebra Analysis Biography Calculus Comp Sci Discrete Economics Foundations Geometry Graph Thry History Number Thry Physics Statistics Topology Trigonometry logic and beyond, this result is only the middle movement, so to speak, of a metamathematical symphony of results stretching from 1929 through 1937. These results are: (1) the Completeness Theorem; (2) the First and Second Incompleteness Theorems; and (3) the consistency of the Generalized Continuum Hypothesis (GCH) and the Axiom of Choice (AC) with the other axioms of Zermelo-Fraenkel set theory . These results are discussed in detail below. THE COMPLETENESS THEOREM (1929) In 1928, David Hilbert and Wilhelm Ackermann published , a slender but potent text on the foundations of logic. In this text they posed the question of whether a certain system of axioms for the first-order predicate calculus is complete, i.e., whether every logically valid sentence in first-order logic can be derived from the

26. Math 141 The Axioms math 141 The axioms for Straight Lines. Given any space of points (probably a surface in threespace, but perhaps something more abstract) and given a http://www.math.ucdavis.edu/~eklodginski/w05/axioms.html

27. Betweenness Axioms You should review the Betweenness axioms in our list of axioms. There are numerous Propositions proved in the text based on the droyster@math.uncc.edu. http://www.math.uncc.edu/~droyster/math3181/notes/hyprgeom/node29.html

Next: Congruence Theorems Up: Neutral and Non-Euclidean Geometries Previous: Incidence Geometry Betweenness Axioms You should review the Betweenness Axioms in our list of axioms. There are numerous Propositions proved in the text based on the Betweenness Axioms . We shall list most of them, but shall prove only a few. Proposition 6.1: For any two points A and B Figure: Proposition It seems clear from Figure that every point P lying on the line through A B , and C must either belong to ray or to an opposite ray . This statement seems similar to the second assertion of Proposition , but it is actually much more complicated. You are now discussing four points and not the three of Proposition . You will prove this assertion in your homework, with the addition of another axiom. Let us call the assertion and a point P is collinear with A B , and C , implies that as the line separation property . This is something that you will prove, but knowing that it can be proven, we shall use it as we need. Recall the definitions of same side and opposite sides . Also, recall the last

28. Axioms Of Continuity axioms of Continuity. These axioms are the axioms which give us our correspondence between the real line and a Euclidean line. droyster@math.uncc.edu. http://www.math.uncc.edu/~droyster/math3181/notes/hyprgeom/node31.html

Next: Neutral Geometry Up: Neutral and Non-Euclidean Geometries Previous: Congruence Theorems Axioms of Continuity These axioms are the axioms which give us our correspondence between the real line and a Euclidean line. These are necessary to guarantee that our Euclidean plane is complete . The first axiom gives us some information about the relative sizes of segments as compared one to another. ARCHIMEDES' AXIOM. If AB and CD are any segments, then there is a number n such that if segment CD is laid off n times on the ray emanating from A , then a point E is reached where and B is between A and E This is derived from the Archimedean Axiom in the real number system. This should not be surprising, for we wish to have a one-to-one correspondence between each euclidean line and the set of real numbers . In the real line the Archimedean Postulate takes on the flavor: Archimedean Postulate: Let M and e be any two positive numbers. Then there is a positive integer n such that The main point for geometry is that if you choose any segment to be of unit length, then every segment has finite length with respect to this measure. Nothing can be too big

29. New Foundations Home Page The axioms of New Foundations (hereinafter NF) are Please send all comments and corrections to holmes@math.boisestate.edu (Randall Holmes). http://math.boisestate.edu/~holmes/holmes/nf.html

New Foundations home page Note, added March 30, 2005 After systematic neglect for some years, I'm about to overhaul the page (done) and update the bibliography. Any comments from NFistes would be useful at this point... For new information about the mailing list, look in the Mailing List and Links to NF Fans section. Contents Introduction Mailing List and Links to NF Fans Definition The Paradoxes ... Thomas Forster's Exhaustive Bibliography (new version set up in HTML by Paul West) Introduction This page is (permanently) under construction by Randall Holmes The subject of the home page which is developing here is the set theory "New Foundations", first introduced by W. V. O. Quine in 1937 . This is a refinement of Russell's theory of types based on the observation that the types in Russell's theory look the same, as far as one can apparently prove. To see Thomas Forster's master bibliography for the entire subject, as updated and HTML'ed by Paul West, click here . References in this page also refer to the master bibliography. We are very grateful to Thomas Forster for allowing us to use his bibliography. An all purpose reference for this field (best for NF) is

30. Cornell Mathematics- Robert Connelly- Math 452 Home Page math 452, Classical Geometries. This is an introduction to geometry and One stated one s axioms. But the idea was to minimize such unproved statements. http://www.math.cornell.edu/~connelly/452.stuff.html

Classical Geometries Math 452 Instructor: Bob Connelly Office: 455 Malott Hall Telephone: (607) 255-4301 (voice mail) Math 452, Classical Geometries This is an introduction to geometry and how it has been moved by a combination of classical Greek influences as well as a more modern desire simply to understand the world as it is seen. The influence of Euclid's Elements was pervasive in western thought, especially mathematics. The idea is that you should explicitly state what is assumed. One stated one's axioms . But the idea was to minimize such unproved statements. Euclid created a small list of such axioms, but he delayed using the fifth until he was really forced. Did he really need that fifth axiom after all? Could it be deduced it from his other axioms? Meanwhile, during the Renaissance, artists began to seriously ask just how should one draw a picture that accurately shows what we see? The realization of just how this should be done came almost as a revelation. This led to the development of perspective drawing, and that led to projective geometry. The difference between what is drawn in "correct" perspective and what is not, is striking. The principles perspective are simple, but some of the consequences are not what one might expect. In a way, projective geometry is an example where one can apply the insight obtained from a simple set of axioms, unlike the situation of Euclid, where there were a very large number of hidden, subtle, complicated, axioms. Projective geometry has just three simple axioms, two are just mirror duals of each other, and the third does not really count. We will use these to show how they provide a great perspective into the nature of geometry, even Euclidean geometry. Projective geometry provides a toy axiomatic system, without a lot of fuss or mess, yet still delivering what is needed.

31. Sci.math FAQ: The Continuum Hypothesis Archivename sci-math-faq/continuum Last-modified February 20, Most large cardinal axioms (asserting the existence of cardinals with various http://www.cs.uu.nl/wais/html/na-dir/sci-math-faq/continuum.html

Note from archiver cs.uu.nl: This page is part of a big collection of Usenet postings, archived here for your convenience. For matters concerning the content of this page , please contact its author(s); use the source , if all else fails. For matters concerning the archive as a whole, please refer to the archive description or contact the archiver. Subject: sci.math FAQ: The Continuum Hypothesis This article was archived around: 17 Feb 2000 22:55:53 GMT All FAQs in Directory: sci-math-faq All FAQs posted in: sci.math Source: Usenet Version http://www.jazzie.com/ii/math/ch/ http://www.best.com/ ii/math/ch/ Alex Lopez-Ortiz alopez-o@unb.ca http://www.cs.unb.ca/~alopez-o Assistant Professor Faculty of Computer Science University of New Brunswick

32. Math 402 The Axioms math 402 The axioms. An axiom means A proposition that commends itself to general acceptance; a well established or universallyconceded principle. http://www.math.uiuc.edu/~stolman/m402/handouts/axioms.html

Math 402 The Axioms An axiom means "A proposition that commends itself to general acceptance; a well established or universally-conceded principle..." (OED2). Often, one assumes the following statements are true. However, they are not true on every space. Therefore, we will check if each statement is true on each space. The "incidence axiom" There is at least one straight line between any two points. There is at most one straight line between two points. The "ruler axiom" You could travel an infinite distance along a straight line in either direction. Equivilantly, you could travel in either direction at a constant speed forever. As you travel along a straight line, you never pass over the same point twice. The "protractor axiom" There is at least one straight line through any point in any direction. There is at most one straight line through any point in any direction. The "half-plane" axiom If you cut the surface along a straight line, you get two pieces. If the two endpoints of a line segment don't lie in the same piece, the segment must cross the line. Every straight line segment that connects two points on one of the pieces is contained entirely in that piece.

33. Studying Logic At UIUC Two introductory courses (math 414 and math 570) are offered in logic. to S and which consists entirely of axioms containing no quantifiers. math 573. http://www.math.uiuc.edu/ResearchAreas/logic/courses.html

Courses Studying Mathematical Logic at UIUC Course Descriptions Books in Mathematical Logic Courses Offered in the Fall Semester ... Courses Offered Recently Studying Mathematical Logic at UIUC Mathematical logic became, mostly within the 20th century, the mathematical study of logical reasoning. This study clarified the nature and limitations of the axiomatic method and yielded new concepts and techniques for use within mathematics. The starting point, and a distinctive feature of mathematical logic, is the introduction of suitable formal languages. For assertions (sentences) in such a language, key notions are "provability" and "truth". To formulate a formal system for proving sentences requires the introduction of axioms and rules of inference. Truth of sentences depends on fixing a universe of discourse and appropriate meanings for the special symbols in the language. In our introductory courses (Math 414 at the undergraduate level and Math 570 at the graduate level) we set up this basic framework for first-order logic, and study the fundamental and sometimes surprising connections between provability and truth. Mathematical logic is traditionally seen as being roughly composed of four main areas: model theory, computability theory, set theory, and proof theory. The first three of these areas are represented in our group and are covered extensively in the graduate courses that we offer above Math 570. Discussion of Courses Two introductory courses (Math 414 and Math 570) are offered in logic. Math 414 is primarily for undergraduates. Math 570 is a prerequisite for all other graduate courses in logic and is also the best course for a graduate student who wants to take a single semester of logic. Math 570 is one of the basic courses in the Comprehensive Exams system of the PhD program in the UIUC Department of Mathematics. Students who have had a course similar to Math 570 elsewhere and wish to go directly into other graduate logic courses should consult a faculty member in logic to be sure that they have the necessary prerequisites.

34. Linear Algebra (Math 2318) - Vector Spaces - Subspaces Online Notes / Linear Algebra (math 2318) / Vector Spaces / Subspaces Many of the axioms (c, d, g, h, i, and j) deal with how addition and scalar http://tutorial.math.lamar.edu/AllBrowsers/2318/Subspaces.asp

MPBodyInit('Subspaces_files') Paul's Online Math Notes Online Notes / Linear Algebra (Math 2318) / Vector Spaces / Subspaces Note : I'm trying something out with this set of notes. If it works well I'll use it on the other pages as well. If you click on any of the equations you will get a larger version of the equation. Clicking the larger version will make it go away. This is something that may be required at times in these notes because of all the fractions inside matrices and subscripts. The drawback is that it will take the page longer to load...  Subspaces Let’s go back to the previous section for a second and examine Example 1 and Example 6 .  In Example 1 we saw that MPSetEqnAttrs('eq0001','',3,[[12,8,0,-1,-1],[17,12,0,-1,-1],[21,14,-1,-1,-1],[19,13,0,-1,-1],[25,18,0,-1,-1],[32,21,0,-2,-2],[53,34,-1,-3,-3]])  was a vector space with the standard addition and scalar multiplication for any positive integer n .  So, in particular MPSetEqnAttrs('eq0002','',3,[[12,10,0,-1,-1],[17,14,0,-1,-1],[21,17,-1,-1,-1],[18,15,0,-1,-1],[25,21,0,-1,-1],[32,24,0,-2,-2],[52,40,-1,-3,-3]])  is a vector space with the standard addition and scalar multiplication.  In Example 6 we saw that the set of points on a line through the origin in

35. Math Forum - Ask Dr. Math That is how we think of math we choose some set of axioms (or postulates, which are the same thing) and definitions as our starting point, the things we http://mathforum.org/library/drmath/view/64481.html

Associated Topics Dr. Math Home Search Dr. Math Flavors of Facts Date: 10/03/2003 at 13:58:14 From: Karen Subject: Is 1 + 1 = 2 an actual fact? Is it a fact that 1 + 1 = 2? I have seen your proof using the Peano postulate. Is the postulate a hypothesis which is unproven, or is it proven, i.e., a fact? For example, 1 + 1 = 10 in base 2. So is the value of 1 + 1 open to interpretation? I think I find some of the terminology confusing, e.g., what do we really mean by the terms 'fact', 'premise', 'assumption', 'axiom', 'postulate', and so on? http://mathforum.org/library/drmath/view/62560.html If you have any further questions, feel free to write back. - Doctor Peterson, The Math Forum http://mathforum.org/dr.math/ Date: 10/03/2003 at 17:45:37 From: Karen Subject: Thank you (is 1 + 1 = 2 an actual fact) Dear Dr. Math, Thanks for that excellent explanation. It has made things much clearer in my mind. In your explanation you make reference to "premises" and "assumptions". Are these the same thing, or are there subtle differences between the two? Regards, Karen http://mathforum.org/dr.math/

36. Math Forum - Ask Dr. Math She is the one with the math problem, but I am the one with the internet connection. (See Ellentuck, Godel s Square axioms for the Continuum , http://mathforum.org/library/drmath/view/51437.html

Associated Topics Dr. Math Home Search Dr. Math The Continuum Hypothesis Date: Wed, 24 May 1995 09:04:05 +0800 From: SheparD Subject: Math Problem Although I am not a K12 type person my daughter is. She is the one with the math problem, but I am the one with the internet connection. But really it IS me with the problem... I volunteered to assist her with an essay assignment and I thought to retrieve some information from the net. But, alas, I can find no information on the net. I would only like to have you point me in the right direction, if you would. The problem: (or question as it may be) "The continuum theory, what is it and has it been resolved?" I would be grateful if you could provide any assistance to me. Thanks for your time, David Date: 9 Jun 1995 10:25:29 -0400 From: Dr. Ken Subject: Re: Math Problem Hello there! I'm sorry it's taken us so long to get back to you. If you're still interested, here's something I found in the Frequently-Asked-Questions for the sci.math newsgroup. If you want to look in the site yourself sometime, the site name is ftp.belnet.be (you can log in with the user name "anonymous") and this file's name is /pub/usenet-faqs/usenet-by-hierarchy/sci/math/ sci.math_FAQ:_The_Continuum_Hypothesis I found it by searching FAQs at the site http://mailserv.cc.kuleuven.ac.be/faq/faq.html

37. The Manila Times Internet Edition | TOP STORIES > UP Math Prof Proves Princeton 1) Two of the axioms of the real number system are false, namely, the trichotomy and He also taught math at The Manila Times School of Journalism. http://www.manilatimes.net/national/2005/may/05/yehey/top_stories/20050505top4.h

Home About Us Contact Us Subscribe ... Sports Thursday, May 05, 2005 UP Math prof proves Princeton man wrong By Rony V. Diaz Edgar Escultura, a prof­essor of mathematics at the University of the Philippines, proved that Andrew Wiles’ proof of Fermat’s last theorem is false. In 1993 Andrew Wiles of Prince­ton University announced at a lecture in London that he had proved Fermat’s last theorem (FLT). This is a conjecture by the French mathematician Pierre de Fermat in 1637 that for any integer n greater than 2, Fermat’s equation that claimed xn + yn = zn has no solution in integers x, y z except which satisfies the equation. Integers are whole numbers like 8, 73, 1,257, etc. Since that time mathematicians and amateurs had been trying to find a proof but failed. When Wiles made the announcement it was celebrated around the world. In Chicago, for instance, mathematicians marched on the streets in euphoric celebration. Escultura, who had been working on the problem since 1992, disputed Wiles’ claim and inserted his refutation in the appendix to his book, Diophan­tus: Introduction to Mathematical Philosophy. He went on to present his results at the Second International Conference on Dynamic Systems and Applications in Atlanta in 1995.

38. Question Corner -- Understanding Projective Geometry This definition satisfies all the axioms of projective geometry. Current Network Coordinator and Contact Person Joel Chan mathnet@math.toronto.edu http://www.math.toronto.edu/mathnet/questionCorner/projective.html

Navigation Panel: (These buttons explained below Question Corner and Discussion Area Understanding Projective Geometry Asked by Alex Park, Grade 12, Northern Collegiate on September 10, 1996 Okay, I'm just wondering about the applicability of projective and affine geometries to solving problems dealing with collinearity and concurrence. I'd really like to learn more on the topic, but I'm having trouble finding a book that gives the axioms of them both in a way that I can understand it. As far as I can understand it, there are no such things as parallel lines in projective geometry. How does that work? An explanation would be appreciated. There are several different ways to think about geometry in general and projective geometry in particular. 1. The axiomatic approach This approach requires no philosophical definition of what a point or a line actually "is", just a list of properties (axioms) that they satisfy. The theorems of geometry are all statements that can be deduced from these properties. In this approach, the theorems of geometry are guaranteed to be true no matter what concept of "point" or "line" is being used and no matter how they are defined, as long as they satisfy the basic axioms. Euclid wrote down a list of these axioms: five of them (though actually there are some other axioms implicit in Euclid's definitions). He called them

39. American Scientist Online - A Physicist's Philosophy Of Mathematics (A few oddball branches of math like higher set theory and nonstandard logics There are basic axioms for logic and mathematics. These axioms are laws of http://www.americanscientist.org/template/AssetDetail/assetid/44484

Home Current Issue Archives Bookshelf ... Subscribe In This Section Reviewed in This Issue Book Reviews by Issue New Books Received Publishers' Directory ... Virtual Bookshelf Archive Site Search Advanced Search Visitor Login Username Password Help with login Forgot your password? Change your username see list of all reviews from this issue: July-August 2005 A Physicist's Philosophy of Mathematics Reuben Hersh Converging Realities: Toward a Common Philosophy of Physics and Mathematics Alors l'un devint deux Converging Realities he comes forward with a new idea, which he proposes to call "physism." He quotes philosophers who have said that mathematics is "a miracle"—that it's miraculous that mere humans can come to have knowledge about things they have never seen or touched, and that this knowledge is more clear, more certain, than any knowledge of the visible and the tangible. It has also been said, by physicists if not by philosophers, that the existence of the laws of nature is a miracle.

40. The Utility Of Mathematics One could believe that the Euclidean axioms constituted a kind of perfect apriori For how were we to choose between the axioms of plane, spherical, http://www.catb.org/~esr/writings/utility-of-math/

The Utility of Mathematics Abstract Does mathematics have some sort of deep metaphysical connection with reality, and if not, why is it that mathematical abstractions seem so often to be so powerfully predictive in the real world? Originally written 14 May 1993 for the Extropians mailing list, and re-published it with minor changes in 2001 at the urging of a list member. any of which could be modeled in the phenomenal universe , called the whole relationship between mathematics and physical theory into question. deduce the correct choice from first principles, producing a-priori descriptions of reality to be confirmed, as an afterthought, by empirical check. Principia Mathematica The majority of mathematicians quickly became "Formalists", holding that pure mathematics could not be philosophically considered more than a sort of elaborate game played with marks on paper (this is the theory behind Robert Heinlein's pithy characterization of mathematics as "a zero-content system"). The old-fashioned "Platonist" belief in the noumenal reality of mathematical objects seemed headed for the dustbin, despite the fact that mathematicians continued to feel like Platonists during the process of mathematical discovery.

Page 2     21-40 of 98    Back | 1  | 2  | 3  | 4  | 5  | Next 20