INTUITION AND REASON III. Tasawoor A. Kanth Department of Geography & Regional Development University of Kashmir, Srinagar. 2010.

Slides:



Advertisements
Similar presentations
Geometry Chapter 2 Terms.
Advertisements

ARTIFICIAL INTELLIGENCE [INTELLIGENT AGENTS PARADIGM] Professor Janis Grundspenkis Riga Technical University Faculty of Computer Science and Information.
Introduction to Proofs
By: Victoria Leffelman.  Any geometry that is different from Euclidean geometry  Consistent system of definitions, assumptions, and proofs that describe.
Copyright © Cengage Learning. All rights reserved.
Copyright © Cengage Learning. All rights reserved.
The Enlightenment in Economic Science For the 100 th Birthday of Ronald Coase December 29, 2010 Chenggang Xu University of Hong Kong.
Induction and recursion
Zermelo-Fraenkel Axioms Ernst Zermelo ( ) gave axioms of set theory, which were improved by Adolf Fraenkel ( ). This system of axioms called.
Introduction to Computability Theory
Greek Mathematics and Philosophy.  Thales ( BC): father of mathematical proof.
Logic and Proof. Argument An argument is a sequence of statements. All statements but the first one are called assumptions or hypothesis. The final statement.
15 PARTIAL DERIVATIVES.
The Axiomatic Method. The axiomatic method I: Mathematical Proofs Why do we need to prove things? How do we resolve paradoxes?
So far we have learned about:
First Order Logic (chapter 2 of the book) Lecture 3: Sep 14.
Introduction to Computer Science. A Quick Puzzle Well-Formed Formula  any formula that is structurally correct  may be meaningless Axiom  A statement.
11. 2 Organic Mathematics New approach to Hilbert’s 6th problem Introduction Presentation Moshe Klein, Doron Shadmi 17 June 2009.
Non-Euclidean geometry and consistency
Mathematics and the Theory of Knowledge
First Order Logic. This Lecture Last time we talked about propositional logic, a logic on simple statements. This time we will talk about first order.
Areas of knowledge – Mathematics
To construct a logical argument using algebraic properties
C OURSE : D ISCRETE STRUCTURE CODE : ICS 252 Lecturer: Shamiel Hashim 1 lecturer:Shamiel Hashim second semester Prepared by: amani Omer.
AOK. D6 Journal (5 th entry) TWE can imagination be objective if it is derived in the mind? If it is always subjective can it lead to knowledge?
‘Pure Mathematics is, in its way, the poetry of logical ideas’ Einstein ‘Maths is like love, a simple idea but it can get very complicated.’ Unknown ‘The.
In 1887,when Photoelectric Effect was first introduced by Heinrich Hertz, the experiment was not able to be explained using classical principles.
Introduction to Proofs
Chapter 2 Greek Geometry The Deductive Method The Regular Polyhedra Ruler and Compass Construction Conic Sections Higher-degree curves Biographical Notes:
Mathematics- Scope • What is the area of knowledge about?
MAT 333 Fall  As we discovered with the Pythagorean Theorem examples, we need a system of geometry to convince ourselves why theorems are true.
About Math and related topics About Math 1. The Unreasonable Effectiveness The Unreasonable Effectiveness of Mathematics in the Natural Sciences by Eugene.
Arash Rastegar Department of Math. Sciences Sharif University of Technology Arash Rastegar Department of Math. Sciences Sharif University of Technology.
Michelle Huchette Block 2. * Greek * From Alexandria, taught mathematics there * Worked with prepositions and proofs * Created the basis for teachings.
1 Sections 1.5 & 3.1 Methods of Proof / Proof Strategy.
Mathematics. We tend to think of math as an island of certainty in a vast sea of subjectivity, interpretability and chaos. What is it?
Hilbert’s Progamme Early in C20, the mathematician Hilbert led a programme to formalise maths; to reduce it to a clear set of axioms and show that all.
Copyright © Cengage Learning. All rights reserved. CHAPTER 7 FUNCTIONS.
Course Overview and Road Map Computability and Logic.
TOK: Mathematics Unit 1 Day 1. Introduction Opening Question Is math discovered or is it invented? Think about it. Think real hard. Then discuss.
Bryan Lopez pd.3.  All living beings are made of of cells. A living being is either made of a cell or is made up of cells.  Cells are the basic unit.
1 Copyright, 1996 © Dale Carnegie & Associates, Inc. Chapter 2: Logic & Incidence Geometry Back To the Very Basic Fundamentals.
Euclid and the “elements”. Euclid (300 BC, 265 BC (?) ) was a Greek mathematician, often referred to as the "Father of Geometry”. Of course this is not.
Math 409/409G History of Mathematics Books VII – IX of the Elements Part 3: Prime Numbers.
Copyright © Cengage Learning. All rights reserved.
Godel’s proof Danny Brown. Outline of godel’s proof 1.Create a statement that says of itself that it is not provable 2.Show that this statement is provable.
1 Introduction to Abstract Mathematics Chapter 2: The Logic of Quantified Statements. Predicate Calculus Instructor: Hayk Melikya 2.3.
CompSci 102 Discrete Math for Computer Science March 1, 2012 Prof. Rodger Slides modified from Rosen.
Landau and Lifshitz, Classical Field Theory. Chapter One, The Principle of Relativity. In a separate document I have explained that section one of L&L’s.
Friday 8 Sept 2006Math 3621 Axiomatic Systems Also called Axiom Systems.
INTRO TO GEOMETRY 1-1 PIB Geometry. Agenda 1. What is a mathematician? 2. What is geometry? 1. Axiomatic system 3. What is a proof? Notes
First Order Logic Lecture 3: Sep 13 (chapter 2 of the book)
Intro to Mathematical Proofs With the help of some awesome plagiarism!
The Parallel Postulate
Important Concepts Postulates The geometry concepts that you are going to study through this course are largely based on ideas set forth more than.
GREEK PHILOSOPHERS I can explain the importance of the Greek philosophers; Socrates, Plato, and Aristotle.
Chapter 5. Section 5.1 Climbing an Infinite Ladder Suppose we have an infinite ladder: 1.We can reach the first rung of the ladder. 2.If we can reach.
Station 1 (A) Towards the beginning of the semester, many students made the following claim: “A straight line is the shortest distance between 2 points.”
7.1 WELCOME TO COMMON CORE HIGH SCHOOL MATHEMATICS LEADERSHIP SUMMER INSTITUTE 2015 SESSION 7 30 JUNE 2015 MODELING USING SIMILARITY; COPYING AND BISECTING.
Section 1.7. Section Summary Mathematical Proofs Forms of Theorems Direct Proofs Indirect Proofs Proof of the Contrapositive Proof by Contradiction.
SCIENTIFIC METHOD NATURE OF SCIENCE AND EXPERIMENTAL DESIGN VANCE
TOK: Mathematics Unit 1 Day 1. 2 – B 2 = AB – B 2 Factorize both sides: (A+B)(A-B) = B(A-B) Divide both sides by (A-B): A = B = B Since A = B, B+B=B Add.
Geometry Chapter 2: Reasoning and Introduction to Proof We can do this dude!
Proof And Strategies Chapter 2. Lecturer: Amani Mahajoub Omer Department of Computer Science and Software Engineering Discrete Structures Definition Discrete.
POSTULATES AND PROOFS ★Postulates are statements that are assumed to be true without proof. ★ Postulates serve two purposes - to explain undefined terms,
MATHEMATICS.
The Foundations: Logic and Proofs
Philosophy of Mathematics: a sneak peek
An example of the “axiomatic approach” from geometry
Mathematics Michael Lacewing.
Presentation transcript:

INTUITION AND REASON III. Tasawoor A. Kanth Department of Geography & Regional Development University of Kashmir, Srinagar

INTUITION : - Direct Perception of Truth And Fact Independent Of Any Reasoning. Reason : - Is an Explanation of a Situation that made Results seem Possible.

Nature is known only through Five Senses: SightSmellTasteTouch Hearing. Man invented Two more Senses: Word And Number. Combination of these two sets of Senses Resulted into Two Faculties : -

INTUITION AND REASON ARE THE TWO FACULTIES BY VIRTUE OF WHICH  PROPHETS  SAGES  ARTISTS &  MEN OF SCIENCE HAVE TRIED TO COMPREHEND AND INTERPRET

To use Simile  Intuition is like a Flash of Lighting  Reason is like a Steady Illumination.  Intuition has its great triumphs in the works of artists.  A combination of Intuition and Reason manifests itself in the Discoveries and Inventions of Men of Science

It is a fact that intuition guide all animals correctly to follow the straight path from a point X to a point Y That is if we have to go from the point X to a point Y, we always follow the path from X to Y marked by arrow and we do not go from X to Z and then from Z to Y Unless we are Drunk

Most Homo sapiens and all Animals do not know the Reason for this. There is a deep Theorem known as the Triangle Inequality. Triangle Inequality. Which states that XY is less than XZ+ZY In other words, the import of this Theorem is this Theorem is Inbuilt In Our System. Inbuilt In Our System.

1 Again, when we face Danger or feel very Cold, we at once turn ourselves into a Sphere like thing. we at once turn ourselves into a Sphere like thing. We unconsciously apply one of the Deepest Theorems in the whole range of Mathematics known as Isoperimetric Theorem.

It states that of All Solids with a given volume, Sphere has the Least Surface Area When in danger, we want to decrease our surface area as possible and consequently we try to look like a sphere. we try to look like a sphere. Again most Persons and all Animals do not know this Theorem. All the same we make use of it instinctively, so this theorem or its import is so this theorem or its import is Inbuilt in Our System. Inbuilt in Our System.

Ramanujan has been described “Man who knew Infinity” He could come out, as if at will, with remarkable identities, sum of very complicated convergent series, mostly by virtue of his Intuition. The surprising thing about him was that most often he could not explain or provide a proof for His Announced Results

Littlewood Remarked, “ That every positive integer is a Personal Friend of Ramanujan”. “ That every positive integer is a Personal Friend of Ramanujan”. One of his celebrated conjectures has been Settled by Delijne who was awarded a Field’s Medal.

NOW LET US TURN TO REASON The best thing to start with is Euclid’s Elements. Euclid starts with what are called the Undefined Terms like Point, Straight line etc. Straight line etc. Then come Axioms and Postulates which are the Rules of the Game. Let us recall the Famous Parallel postulate i.e. through an external point. There is one & only line which is parallel to a given line. Mathematicians suspected this postulate almost from the start. But all the same no mathematician has been able to prove the Angle-Sum Property of a Triangle without this postulate or one of its various forms.

Thus, a Mathematical Truth is Relative to the Body of Axioms and Postulates  Kurt Gödel an Australian born American mathematician. Demonstrated in 1931 that in any form of system of logic: INCONSISTENCY IS INHERENT AND WHAT IS WORSE, It Can not be Remedied.

 Cohen, a German botanist proved that The celebrated Continuum Hypothesis can Neither be ProvedNorDisproved. Within the frame work of the present Axioms of the Set Theory. Within the frame work of the present Axioms of the Set Theory.

In other words, The Law of Excluded Middles Does Not Hold.  A Great and Shocking Result Again Demonstrate  The Power of REASON. When Hamlet says Tragedy is brought about by Tragedy is brought about by