61. Math 3500 that given any understandable axiomatization of arithmetic it is always possibleto find a true theorem of arithmetic which can not be proved from the axioms http://www.math.yorku.ca/Who/Faculty/Steprans/Courses/3500/GodelAndReasoning/lec

Quick links: List Archives Technical Page List of Questions Marks ... 3500 Home Topic 3: Implications of Godel's Incompleteness Theorem? The readings required for this topic are available to students registered in MATH3500. The impact of Godel's Incompleteness Theorem, which was the subject of the last essay, was felt beyond the bounds of mathematical logic and, indeed, beyond the bounds of mathematics itself. The essay by Lucas entitled Minds, Machines and Goedel tries to make the case that the Incompleteness Theorem has as a consequence "that Mechanism is false, that is, that minds cannot be explained as machines". This, of course, was the topic of debate at C. P. Snow's dinner table in The Cambridge Quintet . Had Lucas been invited to dinner that evening he would have found himself at odds with Turing, but his arguments would have been entirely different from those of Wittgenstein. Lucas does not take the humanist approach that minds can not be mechainzed beacuse they are embedded in society. Rather, he uses Turing's own weapons, Godel's Incompletenss Theorem in particular, against him. In order to understand Lucas' argument, it is necessary to review the proof of Godel's Incompleteness Theorem. To begin, the theorem is a result about arithmetic which says that given any "understandable" axiomatization of arithmetic it is always possible to find a true theorem of arithmetic which can not be proved from the axioms. One of the keys to the proof is that givena an "understandable" axiomatization it is possible to code statements and proofs of arithmetic as natural numbers and then define an arithmetic function which takes the code for a potential proof as input an tells us whether not it is a valid proof using the allowed axioms and rules of logic. Using this fucntion is it is possible to define the Godel statement: "I have no proof". The reading from the last topic show that this must be a true statement which cannot be proved within the given system of axioms.

62. Math Teacher Evaluation of Learning (SOLs), the following rating scale for math Teachers at GEOMETRY, Createsconsistent sets of axioms, Proves original theorems, Accepts axioms, Proves http://www.pen.k12.va.us/Div/Winchester/jhhs/math/humor/eval.html

Math Teacher Evaluation In accordance with the new emphasis on accountability and the Standards of Learning (S.O.L.s), the following rating scale for Math Teachers at Handley High School has been devised: Rating Scale Far Exceeds Job Requirements Exceeds Job Requirements Meets Job Requirements Needs Some Improvement Does Not Meet Minimum Requirements QUALITY Leaps tall buildings with a single bound Must take running start to leap over tall buildings Can leap over short buildings only Crashes into buildings when attempting to jump over them Cannot recognize buildings at all TIMELINESS Is faster than a speeding bullet Is as fast as a speeding bullet Not quite as fast as a speeding bullet Would you believe a slow bullet? Wounds self with bullet when attempting to shoot INITIATIVE Is stronger than a locomotive Is stronger than a bull elephant Is stronger than a bull Shoots the bull Smells like a bull ADAPTABILITY Walks on water consistently Walks on water in emergencies Washes with water Drinks water Passes water in emergencies COMMUNICATION

63. FOM: Does Mathematics Need New Axioms? One of the points is that, if set theory needs new axioms, that isvery different from saying that core math needs new axioms. Steel http://www.cs.nyu.edu/pipermail/fom/2000-May/004027.html

FOM: Does Mathematics Need New Axioms? Stephen G Simpson simpson@math.psu.edu Fri, 19 May 2000 16:26:10 -0400 (EDT) Previous message: FOM: Does Mathematics Need New Axioms? Next message: FOM: Does Mathematics Need New Axioms? Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] Previous message: FOM: Does Mathematics Need New Axioms? Next message: FOM: Does Mathematics Need New Axioms? Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

64. Prof. W. Kahan's Notes For Math. H110 PDF file; Topics for math. H110, Fall Semester 2000. PDF file; CrossProducts andRotations in Euclidean 2- and 3-Space. PDF file; axioms for Fields and Vector http://www.cs.berkeley.edu/~wkahan/MathH110/

Prof. W. Kahan's Notes for Math. H110, Fall semester 2000, and for Math. 110, Spring Semester 2002. As of 30 May 2002, these files are available from this web page: (They are all dated. Be sure you get the latest versions.) Topics, Readings and Solutions for the Spring 2002 Final Exam. PDF file Matlab's Inverses of Nearly Singular Hilbert Matrices. PDF file Topics and Solutions for the 2nd Midterm Exam on 1 May 2002. PDF file Sheldon Axler's 1994 article "Down with Determinants". PDF file ... Separating Clouds by a Plane; an application of the SVD. PDF file Here's what you should keep most in mind while preparing for the final exam: 1. Figuring out what you read as you read it matters much more than remembering it all afterwards. 2. A good night's sleep before the exam works better by far than a night spent cramming.

65. Re: Your Open Letter then fine. All that says is that specific math models have axiomsthat prevent the capturing of the real world. Change the axioms http://csf.colorado.edu/forums/pkt/2001/msg02277.html

Date Index Re: your open letter by Paul Davidson 19 June 2001 13:40 UTC Thread Index http://econ.bus.utk.edu/Davidson.html Date Index Post-Keynesian Thought List Archives at CSF Subscribe to Post-Keynesian Thought Thread Index

66. Math Courses Zarko Accomplished Some of the math courses Zarko accomplished ZermaloFrenkel's system of axioms. Languageof the set theory, formulas. Classes. Precise formulations of axioms. http://www-rohan.sdsu.edu/~petrovic/math/

Some of the math courses Zarko accomplished Translation on English from Serbo- Croat of few courses description from Mathematical Section at Faculty of Philosophy on University of Nis, Serbia, Yugoslavia Content: MATHEMATICAL ANALYSIS I ELEMENTS OF GEOMETRY MATHEMATICAL ANALYSIS III PROGRAMMING AND COMPUTING MACHINES ... ELEMENTARY MATHEMATICS WITH METHODICS Wet Seal: Socialist Republic Serbia University of Nis Faculty of Philosophy Nis III. U N I V E R S I T Y O F N I S FACULTY OF PHILOSOPHY OOUR NATURAL MATHEMATICAL SECTION TEACHING PROGRAM FOR MATHEMATICS GROUP Nis, January 1984. Wet Seal: Socialist Republic Serbia University of Nis Faculty of Philosophy Nis III FACULTY OF PHILOSOPHY IN NIS Natural Mathematical Section Group for Mathematics MATHEMATICAL ANALYSIS I I and II semester 4 + 4 Elements of set theory. Zermalo-Frenkel's system of axioms. Language of the set theory, formulas. Classes. Precise formulations of axioms. Axioms of extensionality, pair and separation. Axiom of union, partitioned set, infinity, substitution. Axiom of regularity and axiom of choice. Structures on sets. Algebraic structures. Order structure. Topologic structure.

67. SUNY Potsdam: Mathematics Department Course Descriptions math547 Theory of Sets (3) Theoretical set concepts, axioms of set theory; axiomsof choice and Zorn's lemma, ordinals and cardinals, transfinite induction. http://www.potsdam.edu/MATH/course.html

Mathematics Course Descriptions Chair: Vasily C. Cateforis Dept. Office: MacVicar Hall - 218D Phone: Fax: Email: Mathematics Dept. Department HomePage Program Information Faculty and Staff Directory ... Library Resources Undergraduate Courses Courses are offered each semester unless otherwise designated. MATH-100 Excursions in Mathematics (3) This is an introduction to mathematics as an exciting and creative discipline. Students will explore recent developments and mathematical ideas that have intrigued humanity for ages. This course does not satisfy the BA in Elementary Education mathematics concentration requirement. Prerequisite: two years of high school mathematics. MATH-101 Elements of Mathematics I (3) Topics in foundations of mathematics include: problem solving strategies, abstract and symbolic representation, numeration and number systems, functions and use of variables. Satisfies one of the mathematics concentration requirements for the BA in Elementary Education. Not required for double majors in mathematics and elementary education. Prerequisite: three years of high school, Regents-level mathematics or permission. MATH-102 Elements of Mathematics II (3) Topics in Euclidean and non-Euclidean geometry including: shapes in two or three dimensions, symmetries, transformations, tessellations, coordinate geometry, measurement. Satisfies one of the mathematics concentration requirements for the BA in Elementary Education. Not required for double majors in mathematics and elementary education. Prerequisite: MATH-101 or permission.

68. Dr. King - Math 333 - Key #2 math 333 Key to Homework 2 October 5, 1998. 1. Plane dual to Fano'sgeometry axioms. (5 pts) a. There exists at least one point. http://spruce.flint.umich.edu/~lmk/Math333key2.html

Math 333 Key to Homework # 2 October 5, 1998 1. Plane dual to Fano's geometry axioms. (5 pts) a. There exists at least one point. b. There are exactly three lines on every point. c. Not all lines are on the same point. d. There is exactly one point on any two lines. e. There is at least one line on any two distinct points. Representation of the model and justification. (5 pts). Fano's geometry has the property of being self-dual; i.e., the plane dual axioms of Fano's geometry are all true in Fano's geometry. Therefore, a model for the plane dual axioms is any model of Fano's geometry. 2. Show that each axiom of Fano's Geometry is independent. (2 pts for each axiom). a. Axiom 1: a single point and no lines. The model "no points and no lines" would work vacuously for any set of axioms. Therefore, I gave credit for it but I really didn't like it. e. Axiom 5: A model for Young's geometry works. Let the points be A B, C, D, E, F, G, H, I, and the lines be the columns in the following table. (Note: There are nine points and twelve lines.) A D A A B B B C C D G H B E D E E D F F E H H F C F G I H I G I G C I A 3. Prove: Fano's geometry consists of exactly seven lines. (5 pts for proving at least seven, and another 5 pts for proving there can be no more than seven lines.)

69. Relevance Of The Axiom Of Choice It's not as simple, aesthetically pleasing, and intuitive as the other axioms. ofreals, and the BanachTarski Paradox (see the next section of the sci.math FAQ http://db.uwaterloo.ca/~alopez-o/math-faq/node69.html

Next: Cutting a sphere into Up: The Axiom of Choice Previous: The Axiom of Choice Relevance of the Axiom of Choice THE AXIOM OF CHOICE There are many equivalent statements of the Axiom of Choice. The following version gave rise to its name: For any set X there is a function f , with domain , so that f x ) is a member of x for every nonempty x in X Such an f is called a ``choice function" on X . [Note that means X with the empty set removed. Also note that in Zermelo-Fraenkel set theory all mathematical objects are sets so each member of X is itself a set.] The Axiom of Choice (AC) is one of the most discussed axioms of mathematics, perhaps second only to Euclid's parallel postulate. The axioms of set theory provide a foundation for modern mathematics in the same way that Euclid's five postulates provided a foundation for Euclidean geometry, and the questions surrounding AC are the same as the questions that surrounded Euclid's Parallel Postulate: Can it be derived from the other axioms? Is it consistent with the other axioms? Should we accept it as an axiom?

70. MATH 570 Introduction To Geometry of either geometry would lead to a contradiction in the axioms of the to other coursesThe only other undergraduate geometry course, math 572 (Introduction to http://www.math.virginia.edu/ugrad/webbook/node58.html

Next: MATH 572: Introduction Up: Course Descriptions Previous: MATH 552: Introduction MATH 570: Introduction to Geometry Prerequisites: MATH 221 and MATH 351 or permission of instructor Frequency: Every Fall semester Credit : 3 credits Recent text: A Course in Modern Geometries , Cedarberg (Springer-Verlag). Recent instructors : J. Faulkner; J. Howland; G. Keller; H. Ward Student body : An occasional 3 -year, but mostly 4 -year mathematics majors and graduate students in mathematics and mathematics education Topics and goals: The two main goals of this course are to develop a knowledge and appreciation of the wide scope of geometry beyond high school geometry and to familiarize the student with axiomatics and mathematical modeling. Euclid's fifth axiom states that through any point P not on a line l there is exactly one line m which does not meet , i.e., m is parallel to l . Historically, this axiom was considered to be less ``self-evident'' than the other axioms for Euclidean geometry, and many attempts were made to prove it from the other axioms. Specifically, one can assume the axiom is false either by assuming that there are no parallel lines or by assuming that there are several parallel lines, and then trying to arrive at a contradiction. Indeed, in this way, one can develop geometries with various nonintuitive properties-such as all triangles have an angle sum of less than 180 or similar triangles are congruent-but one does not arrive at a logical contradiction. In fact, by modeling non-Euclidean geometry in Euclidean geometry and vice versa, one can show that a contradiction in the axioms of either geometry would lead to a contradiction in the axioms of the other, so the two geometries are equally valid logically, although they contradict each other.

71. Math And Other Like Interests Previous to studying math, I was a Physics major. of of perfection of their theoreticalconstructs derived from an small number of Initial axioms which are http://home.uchicago.edu/~ajrosen/math.html

Math and Other Like Interests Link to the Math Department's Page You get a million dollars for winning the Nobel Prize For the Fields Medal you get five thousand dollars. You can't even buy a damn Kia for five grand. Professor Paul J. Sally Jr. Director of Undergraduate Studies A Rant About Math and Such I'm a math concentrator here at the University of Chicago. Previous to studying math, I was a Physics major. For whatever reason, that didn't quite work out. Not that I don't find probing the deepest and most fundamental structures of the universe truly fascinating anymore, I just realized I didn't possess the proper mindset for that type of inquiry. The philosophical differences between the study of mathematics and physics are rather stark. Physics tries its damnedest to take empirical data and create mathematical constructs in which that data might be interpreted and then extrapolate general theories. Mathematics, on the other hand, says screw empirical data, let's construct purely theoretical constructs and see where they take us. If it so happens that one of our theoretical constructs describes

72. Infinite Ink: The Continuum Hypothesis By Nancy McGough History, mathematics, metamathematics, and philosophy of Cantor's Continuum HypothesisCategory Science math Logic and Foundations Set Theory...... with this incompleteness in set theory or try to find more intuitive axioms thatwill draft continuum hypothesis `FAQ,' which I'm writing for the sci.math FAQ. http://www.ii.com/math/ch/

mathematics T HE C ONTINUUM H YPOTHESIS By Nancy McGough nm noadsplease.ii.com Overview 1.1 What is the Continuum Hypothesis? 1.2 Current Status of CH Alternate Overview Assumptions, Style, and Terminology 2.1 Assumptions 2.1.1 Audience Assumptions 2.1.2 Mathematical Assumptions 2.2 Style 2.3 Terminology 2.3.1 The Word "continuum" 2.3.2 Ordered Sets 2.3.3 More Terms and Notation Mathematics of the Continuum and CH 3.1 Sizes of Sets: Cardinal Numbers aleph c aleph 3.1.2 CH and GCH 3.1.3 Sample Cardinalities 3.2 Ordering Sets: Ordinal Numbers 3.3 Analysis of the Continuum 3.3.1 Decomposing the Reals 3.3.2 Characterizing the Reals 3.3.3 Characterizing Continuity 3.4 What ZFC Does and Does Not Tell Us About c Metamathematics and CH 4.1 Consistency, Completeness, and Compactness of ... 4.1.1 a Logical System 4.1.2 an Axiomatic Theory 4.2 Models of ... 4.2.1 Real Numbers 4.2.2 Set Theory 4.2.2.1 Inner Models 4.2.2.2 Forcing and Outer Models 4.3 Adding Axioms to Zermelo Fraenkel Set Theory 4.3.1 Axioms that Imply CH or GCH 4.3.1.1 Explicitly Adding CH or GCH 4.3.1.2 V=L: Shrinking the Set Theoretic Universe

73. MATH 350 math 350 GEOMETRY, Projective Geometry November 12 Multidimensional Projective GeometryNovember 19 Universal Geometry November 26 Hilbert's axioms December 3 http://www.oberlin.edu/~math/faculty/henle/Classes/350Syllabus.html

MATH 350: GEOMETRY Weekly Assignments Assignment 1 Assignment 2 Assignment 3 Assignment 4 ... Assignment 11 Inversion of a checkerboard (displayed by Mathematica Introduction: Modern geometry is not a single subject. Projective geometry, elliptic geometry, finite geometries and particularly hyperbolic geometry all expand the scope and application of geometry far beyond its Greek foundation in Euclidean geometry. All these geometries were developed, if not discovered, in the past 150 years. This course will study them all, as well as a modern axiomatic treatment of Euclidean geometry. In the process the course uses several branches of algebra (group theory and linear algebra) and reviews complex numbers and parts of multivariable calculus. Instructor: Michael Henle Office Hours: Tuesday and Thursday 2:30-4:30 in King 202, Friday 5:00-6:00 Phone: X8383 or 775-7676 Text: Modern Geometries (Second Edition) by Michael Henle ( errata sheet Evaluations: Homework: Approximately 10 weekly assignments: due on Wednesdays. Exams: Two midterm exams (October 19 and November 30) Final exam (2:00 PM on Thursday 20 December).

74. Logical Laws & Accurate Axioms [rec.humor.funny] Previous Browse the Best of RHF Computer, Science and math Jokes Next. LogicalLaws Accurate axioms. MIDNITE@genie.com (KT @ GENIEus) (computer, funny) http://www.netfunny.com/rhf/jokes/old90/334.html

Browse the Best of RHF: " Computer, Science and Math Jokes MIDNITE@genie.com (KT @ GENIEus) (computer, funny) You can always tell a really good idea by the enemies it makes. Programmers' axiom Everything always takes twice as long and costs four times as much as you planned. Programmers' axiom It's never the technical stuff that gets you in trouble, it's the personalities and the politics. Programmers' saying Living with a programmer is easy. All you need is the patience of a saint. Programmers' spouses' saying Applications programming is a race between software engineers, who strive to produce idiot-proof programs, and the Universe which strives to produce bigger idiots. Software engineers' saying So far the Universe is winning. Applications programmers' saying The three most dangerous things in the world are a programmer with a soldering iron, a hardware type with a program patch and a user with an idea. Computer saying You can't do just one thing. Campbell's Law of everything

75. Math444 Grader email amheap@math.rice.edu (Aaron Heap HB 050 x2841 Monday 2/12 Lecture RelativeSingular Homology, Exact sequences, EilenbergSteenrod axioms Read pp http://math.rice.edu/~cochran/math445.html

Math 445 Algebraic Topology Spring 2003 Professor Tim Cochran (My home page which contains mostly research related stuff: Office: 416 HB, office hours W 2-3, Thur 1-2 and by appointment ; (713 348 5265) or email cochran@math.rice.edu Grader: email amheap@math.rice.edu (Aaron Heap HB 050 x2841) Hey you guys- come to office hours- look how friendly I look !!!! Text: Elements Of Algebraic Topology, James Munkres Topics: Introduction to algebraic methods in topology . Simplicial complexes, Homology theory, Cohomology theory , Poincare Duality. Grading: There will be a final exam and one short mid-term exam, both take-home. Homework will count for 20% of the grade. It is due at the beginning of the appropriate class period. Late homework is only corrected if the grader has time and will be automatically assigned a grade of 50% of your average homework score. See hand-out for details. Good mathematical exposition will be counted on both exams and homework. collaboration is encouraged on homework porblems- see class hand-out for specifics. Lectures and Homework Assignments: Wed. 1/17 Lecture: introduction; simplices

76. Math 335 math 335 Assignment. 5) Consider the geometry in which the undefined terms are point , line and the incidence relation, and the axioms are those stated below http://www.math.geneseo.edu/~wallace/math335/current.htm

Math Assignment - Chapter 3 Due: 19 March 2003 1 - 5 Textbook Problems 1) Page 81 # 8 2) Page 86 # 8 3) Page 92 # 3 4) Page 104 # 7 5) Page 106 # 29 Other problems: Is the following statement True or False? Each point on the bisector of an angle is equidistant from the sides of the angle. (Note: Distance from a point to a line is measured along the perpendicular drawn from the point to the line, or, equivalently, it is the shortest distance from the point to the line, as shown in the figure) If the statement is true, provide a neutral proof. If it is false, give a counter example Prove or Disprove: The three angle bisectors in a triangle meet at a point that centers the incircle for that triangle. (Note: The incircle of a triangle is a circle that is tangent to the three sides of the triangle, as shown in the figure) 8) Suppose that SMSG had chosen the ASA congruence condition for triangles as Postulate 15 rather than the SAS condition. SAS would then have to be included as a theorem. Is this possible? That is, can SAS be proven as a theorem using ASA as a postulate? If so, give the proof. If not, explain how you can be sure.

77. Math 3610 as well as one of my two cats), is very possessive about math textbooks! 5 at 5pm,Revision due Mon, Feb 15th at 5pm; Writing Project Wile E. Coyote and axioms. http://www.cs.appstate.edu/~sjg/class/3610/3610s99.html

Dr. Sarah's Math 3610 Web Page - Spring 1999 E-mail Dr. Sarah with questions about these web pages. Sidney, our mascot (as well as one of my two cats), is very possessive about math textbooks! Click on the following pointers: Class Highlights-Day by day. Class Assignments-Writing Projects, Problem Sets and Geometer's Sketchpad Geometer's Sketchpad Dr. Sarah's Schedule ... Teaching High School Geometry 1 hour credit seminar Syllabus and Grading Policies Writing, Geometer's Sketchpad Projects, and Problem Sets Writing Project Wile E. Coyote Needs your help Due Wed Jan 20th at 5pm, Revisions Due Wed, Feb 3rd at 5pm Geometer's Sketchpad - Draw anything you like - turn in the sketch, a script for it, and comments within the sketch. Due Mon, Feb 1 at 5pm. Problem Set 1 (Minesweeper and 4-line/4-point geometry proofs). Due Fri, Feb 5 at 5pm, Revision due Mon, Feb 15th at 5pm Writing Project Wile E. Coyote and Axioms. Due Wed, Feb 10th at 5pm, Revisions due Fri, Feb 19th at 5pm. Problem Set 2 (Statements and their negations). Due Wed, Feb 24th at 5pm. Revisions due Fri, March 12th at 5pm Geometer's Sketchpad 2: In class, we went thru the creation of an upper half plane model in geometer's sketchpad, the creation of a line(arc) thru 2 points, and answered the question: If you have an arc AB, and a point C in the halfplane not on arc AB, how many lines are parallel to AB through C? We also discussed how to measure angles in this space. HW: Turn in a sketch, script and comments about what we did in class, and on a separate sketch, disprove: Every triangle has angle measurement 180 degrees, by producing a sketch, script and comments. DUE Mon 15th of March.

78. MATH 217/ECON 260 Syllabus Topics covered will include the probability axioms, basic combinatorics, random variablesand their math 131 or its equivalent is a prerequisite for this course http://140.232.1.5/~lbernhof/sylm217.htm

MATH 217/ECON 260/ECON 360 Probability and Statistics Fall 2002 Course Syllabus Instructor: Laura Bernhofen MWF 11:00 am -12:15 pm Office: 117 Carlson Hall JC 204 Office Phone: Home Phone: Email: lbernhofen@clarku.edu Webpage: www.clarku.edu/~lbernhof Office Hours: MWF 10:00-10:50 am and by appt. COURSE DESCRIPTION: This course is designed as an introduction to probability theory and mathematical statistics with an emphasis on the probabilistic foundations required to understand probability models and statistical methods. Topics covered will include the probability axioms, basic combinatorics, random variables and their probability distributions, mathematical expectation and common families of probability distributions. Math 131 or its equivalent is a prerequisite for this course. REQUIRED TEXT: Fundamentals of Probability , 2nd Ed. by Saeed Ghahramani ADDITIONAL OPTIONAL TEXT: Theory and Problems of Probability and Statistics by Murray R. Spiegel (Schaum's Outline Series) COURSE REQUIREMENTS: Exam 1, Thursday, Oct. 10, 7:00-9:00 pm Exam 2

79. Question Corner -- Counting Points And Lines Using Axioms version U of T math Network Home University of Toronto mathematics NetworkQuestion Corner and Discussion Area. Counting Points and Lines Using axioms. http://www.math.toronto.edu/mathnet/plain/questionCorner/pointcount.html

Navigation Panel: Previous Up Forward Graphical Version ... U of T Math Network Home University of Toronto Mathematics Network Question Corner and Discussion Area Counting Points and Lines Using Axioms Asked by Bob Williams on January 9, 1998: Suppose I am given that If P and Q are two points, there is exactly one line containing P and Q If L is any line, there is a point P which does not lie on L There are at least three points on every line Any two distinct lines intersect at exactly one point There exists at least one line. How do I prove that, if one line contains exactly n points, then Every line contains exactly n points? Every point lies on exactly n lines? The space contains n^2 - n +1 points and n^2 - n + 1 lines? The following hints should help you answer this question. First, try proving that, for any two lines L and M, there is at least one point R not on either of them. Do this using the fact that L and M each have at least three points, so you can find a point P on L which isn't the intersection point, and a point Q on M which isn't the intersection point. The line PQ will have a third point R on it (because every line has at least three points). R is not on L (if it were, L and PQ would both be lines containing R and P. Since there is a unique line joining any two points, L would have to equal PQ, contradicting the fact that Q is not on L). Similarly, R is not on M. Now you can prove that any two lines L and M have the same number of points. They have their intersection point X in common. For each remaining point P on L, the line RP intersects M in a point f(P). Show that f establishes a 1-1 correspondence between the points on L (other than X) and the points on M (other than X).

80. The US-Ireland Alliance: Fall 2000 Scholars If you cannot absolutely prove something in math based on the axioms or theoremsdeducible by the axioms, it is just not accepted as true. Therefore, an http://www.us-irelandalliance.org/journals/augenblick_0201.html

2000 Scholars Scholars Irish Journals Edward Augenblick - February 2001 Apparently, we have a special request from the audience to discuss our programs and studies this month: As an aside, in Irish universities (and European system in general), people usually have to decide exactly what they are going to study before they enter school. For example, if you want to be a doctor or a lawyer, you go directly into that program at age 18 instead of getting an undergraduate degree first. While this has its advantages (you have to choose sometime!), I have met a significant number of students who are unhappy with the choice that they made at 18. Hell, if I had to decide at 18, I would probably be a doctor! The point is that the higher diploma allows students the opportunity to basically get another undergrad degree in only one year - So, the opportunity exists to get another degree quickly if a student feels that they want something other than their original degree. It's actually quite a strange situation: On one side, math is just an extremely abstract set of theorems which naturally "arise" out of different frameworks for examining and extending the set of axioms. On the other hand, this apparently completely abstract approach has extremely concrete prediction power in the real world. I find it stunning and baffling that fiddling around some symbols that represent "quantity" or "length" allows us to accurately describe and manipulate the physical world. In my case - I am studying a range of the three basic sections of math; analysis, geometry and algebra.

Page 4     61-80 of 88    Back | 1  | 2  | 3  | 4  | 5  | Next 20