Complementary Mathematics Various Degrees of the Number ’ s Distinction Doron Shadmi, Moshe Klein Gan-Adam Ltd.

Slides:



Advertisements
Similar presentations
SCIENCE PROCESS SKILLS
Advertisements

Formal Models of Computation Part III Computability & Complexity
11. 2 Organic Mathematics A bridge between parallel and serial observations Introduction Presentation Moshe Klein, Doron Shadmi 16 June 2009.
Building a Conceptual Understanding of Algebra with Algebra Tiles
Multiplication Using Tiles © Math As A Second Language All Rights Reserved next #3 Taking the Fear out of Math.
Annotation of Student Work
Basic Structures: Functions and Sequences
Sorting It All Out Mathematical Topics
Connection Patterns & Functions.2
Lecture 15 Functions CSCI – 1900 Mathematics for Computer Science Fall 2014 Bill Pine.
Lecture 7 Surreal Numbers. Lecture 7 Surreal Numbers.
Copyright © Cengage Learning. All rights reserved.
Basic Structures: Sets, Functions, Sequences, Sums, and Matrices
Instructor: Hayk Melikya
Basic Structures: Sets, Functions, Sequences, Sums, and Matrices
Introduction to Computability Theory
Feeling at Home With Geometry by: Angelique Curtis and Brittany Brooks This is a house on Tompkins Street in Cortland, NY.
Math for Elementary Teachers
Chapter 4 Gates and Circuits.
COMP 3009 Introduction to AI Dr Eleni Mangina
1 Introduction to Computability Theory Lecture11: The Halting Problem Prof. Amos Israeli.
Computability Thank you for staying close to me!! Learning and thinking More algorithms... computability.
The van Hiele Model of Geometric Thought
Graphs, relations and matrices
Quantum One: Lecture 7. The General Formalism of Quantum Mechanics.
SETS A set B is a collection of objects such that for every object X in the universe the statement: “X is a member of B” Is a proposition.
11. 2 Organic Mathematics New approach to Hilbert’s 6th problem Introduction Presentation Moshe Klein, Doron Shadmi 17 June 2009.
The Closure Property Using Tiles © Math As A Second Language All Rights Reserved next #4 Taking the Fear out of Math.
Chapter 6 Probability. Introduction We usually start a study asking questions about the population. But we conduct the research using a sample. The role.
Misunderstood Minds 1.
MAT 333 Fall  As we discovered with the Pythagorean Theorem examples, we need a system of geometry to convince ourselves why theorems are true.
Aquinas’ Proofs The five ways.
Week 11 - Wednesday.  What did we talk about last time?  Graphs  Euler paths and tours.
1 1 CDT314 FABER Formal Languages, Automata and Models of Computation Lecture 15-1 Mälardalen University 2012.
CS 103 Discrete Structures Lecture 10 Basic Structures: Sets (1)
Cantor and Countability: A look at measuring infinities How BIG is big? = a Googol 10 googol = a Googolplex = one Tremilliomilliotrecentrecentre.
Copyright © Cengage Learning. All rights reserved. CHAPTER 7 FUNCTIONS.
Instructional Strategies That Support Mathematical Problem Solving Janis FreckmannBeth SchefelkerMilwaukee Public Schools
Ch. 11: Cantor’s Infinity!. N = {1, 2, 3, 4, 5, 6, …} “the natural numbers” Z = {…, –3, –2, –1, 0, 1, 2, 3, …} “the integers” Q = {all quotients “a/b”
Copyright © 2014 Curt Hill Cardinality of Infinite Sets There be monsters here! At least serious weirdness!
Welcome to Family Math Night Problem Solving in Grade 3&4.
MATH COMMUNICATIONS Created for the Georgia – Alabama District By: Diane M. Cease-Harper, Ed.D 2014.
CompSci 102 Discrete Math for Computer Science
Relations, Functions, and Matrices Mathematical Structures for Computer Science Chapter 4 Copyright © 2006 W.H. Freeman & Co.MSCS Slides Relations, Functions.
Definition of a Set DM is study of discrete structures. Fundamental discrete structure upon which most of other discrete structures are built is the sets.
Chapter 2 With Question/Answer Animations. Section 2.1.
1 Chapter Two Basic Concepts of Set Theory –Symbols and Terminology –Venn Diagrams and Subsets.
 In this packet we will look at:  The meaning of acceleration  How acceleration is related to velocity and time  2 distinct types acceleration  A.
Anselm’s “1st” ontological argument Something than which nothing greater can be thought of cannot exist only as an idea in the mind because, in addition.
Multiplication of Common Fractions © Math As A Second Language All Rights Reserved next #6 Taking the Fear out of Math 1 3 ×1 3 Applying.
Lecture 4 Infinite Cardinals. Some Philosophy: What is “2”? Definition 1: 2 = 1+1. This actually needs the definition of “1” and the definition of the.
1 Melikyan/DM/Fall09 Discrete Mathematics Ch. 7 Functions Instructor: Hayk Melikyan Today we will review sections 7.3, 7.4 and 7.5.
1 Section 1.2 Sets A set is a collection of things. If S is a set and x is a member or element of S we write x  S. Othewise we write x  S. The set with.
Notions & Notations (2) - 1ICOM 4075 (Spring 2010) UPRM Department of Electrical and Computer Engineering University of Puerto Rico at Mayagüez Spring.
#1 Make sense of problems and persevere in solving them How would you describe the problem in your own words? How would you describe what you are trying.
Chapter 2 1. Chapter Summary Sets (This Slide) The Language of Sets - Sec 2.1 – Lecture 8 Set Operations and Set Identities - Sec 2.2 – Lecture 9 Functions.
TEERAWIT TINPRAPA M.Ed(mathematics education).  Pre-K-2  Grades 3-5  Grades 6-8  Grades 9-12.
Sequences Lecture 11. L62 Sequences Sequences are a way of ordering lists of objects. Java arrays are a type of sequence of finite size. Usually, mathematical.
Singapore Math Approach
Chapter 2 Sets and Functions.
Relations and Functions
Discrete Structure II: Introduction
CS100: Discrete structures
Discrete Structures for Computer Science
Quantum One.
Formal Languages, Automata and Models of Computation
Section 10.2 Finite Mathematical Systems
Lecture Sets 2.2 Set Operations.
          .
Finite Mathematical Systems
Presentation transcript:

Complementary Mathematics Various Degrees of the Number ’ s Distinction Doron Shadmi, Moshe Klein Gan-Adam Ltd.

Hilbert ’ s 24 th challenge: In the end of his famous ICM 1900 lecture Prof. David Hilbert was concern about the possibility that Mathematics will be split up into separate branches that do not communicate with each other, and he said: “ I do not believe this nor wish it. Mathematical science is in my opinion an indivisible whole, an organism whose vitality is conditioned upon the connection of its parts ”

Complementary Mathematics: This work is motivated by Hilbert ’ s organic paradigm, and our solution is based on the relations between the local and the non-local, as observed among 5 years old children that were asked to describe the relations between a point and a line.

5 years old children observation 1: Nevo:"We imagine some shape in our mind, and then we draw it. But we can draw shapes without lines and points and use them in order to create new shapes; all these shapes are in our imagination." Nevo positions his source of creativity in his mind; he discovers that an abstract idea is independent on any particular representation. Sivan: "The shape is in our imagination; we can think about it, but it does not exist. So, we draw it, because we can see it within our hearts." Sivan is aware of the difference between potential and existing things. In his experience, the innovation emerges from the heart.

5 years old children observation 2: Tohar:" If a point and a line are not friends and they are not reproduce, then they will remain few and nothing will be born." Tohar is aware of the distinction between a point and a line. He realizes that new drawings can be created by associating them. Ofri: "The point tries to catch the line, but it cannot catch it because the line is too high." Ofri understands that a line has a property (height) unreachable by a point.

Membership, two options: Element is either a set or an urelement. Sub-element is an element that defines another element. Option 1: A membership between an element and its sub-elements (notated by є ). Option 2: A membership between an element and other elements, which are not necessarily its sub- elements (notated by €, where ₡ is “ not a member ” ). Bridging = An option 2 membership = € Element is either a set or an urelement. Sub-element is an element that defines another element. Option 1: A membership between an element and its sub-elements (notated by є ). Option 2: A membership between an element and other elements, which are not necessarily its sub- elements (notated by €, where ₡ is “ not a member ” ). Bridging = An option 2 membership = €

Locality and non-locality: x and A are placeholders of an element. Definition 1: If x € A xor x ₡ A then x is local. Definition 2: If x € A and x ₡ A then x is non-local. is a local member (if x= and A=__ then __ xor __ ) A set ’ s member is a local member ( x € A xor x ₡ A ) __ is a non-local member (if x= __ and A= then __ and __ )

Bridging and Symmetry: A bridging is measured by symmetrical states that exist between local elements and a non-local urelement. No bridging (nothing to be measured) A single bridging (a broken-symmetry, notated by ) More than a single bridging that is measured by several symmetrical states, which exist between parallel symmetry (notated by ) and serial broken-symmetry (notated by ).

Bridging and Modern Math: Most of modern mathematical frameworks are based only on broken- symmetry (marked by white rectangles) as a first-order property. We expand the research to both parallel and serial first-order symmetrical states in one organic meta-framework, based on the bridging between the local and the non-local.

Organic Natural Numbers: Armed with symmetry as a first-order property, we define a bridging that cannot be both a cardinal and an ordinal (represented by each one of the magenta patterns). The products of the bridging between the local and the non-local are called Organic Natural Numbers.

Organic Natural Numbers 4 and 5:

Complementary relations between multiplication and addition (+1) (1*2) (1*3)((1*2)+1)(((+1)+1)+1) ((+1)+1)

Locality, non-locality and the Real-line: If we define the Real-line as a non-local urelement, then no set is a continuum. By studying locality and non-locality along the real-line we discovered a new kind of numbers, the non-local numbers. For example: The diagram above is a proof without words that … is not a base 2 representation of number 1, but the non-local number … < 1. The exact location of a non-local number does not exit.

Non-local numbers: One can ask: "In that case, what number exists between … [base 2] and 1?". The answer is "Any given base n>2 (k=n-1) non-local number 0.kkk … ", for example:

Non-locality and Infinity: If the real-line is a non-local urelement, then Cantor ’ s second diagonal is a proof of the incompleteness of R set, when it is compared to the real-line: { {{ },{ },{ },{ },{ },...} {{x},{ },{ },{x},{ },...} {{ },{x},{x},{ },{ },...} {{x},{x},{ },{x},{x},...} {{ },{ },{x},{ },{ },...}... } The non-finite complemntary multiset {{x},{x},{},{},{x},…} is added to the non-finite set of non-finite multisets, etc., etc. … ad infinitum, and R completeness is not satisfied. The non-finite complemntary multiset {{x},{x},{},{},{x},…} is added to the non-finite set of non-finite multisets, etc., etc. … ad infinitum, and R completeness is not satisfied.

Incompleteness and proportion A={1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12, … } B={2, 4, 6, 8,10,12, … } If some member is in B set, then it also in A set and since 12 is in B set, in this particular example, then it is also in A set, and the accurate 1-1 mapping is: A={1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12, … } ↕ ↕ ↕ ↕ ↕ ↕ ↕ ↕ ↕ ↕ ↕ ↕ ↕ ↕ ↕ ↕ ↕ ↕ ↕ ↕ ↕ ↕ ↕ ↕ B={2, 4, 6, 8,10,12, … } etc., … etc. ad infinitum B={2, 4, 6, 8,10,12, … } etc., … etc. ad infinitum. Sets A and B are non-finite sets; applying the proportion concept, any non-finite set is no more than a potential-infinity, while distinguishing between locality and non-locality.. Sets A and B are non-finite sets; applying the proportion concept, any non-finite set is no more than a potential-infinity, while distinguishing between locality and non-locality..

A new non-finite arithmetic be a cardinal of a non-finite set, and let C and D be non-finite sets. If |C| and |D| = then |C| > |D| by By using the new notion of the Non-finite, we have both non-finite sets and an arithmetic between non-finite sets, which its results are non-finite sets, for example: By Cantor א 0 = א 0 +1, by the new By Cantor א 0 א 0 and א 0 -1 is problematic. By the new notion > etc. By using the new notion of the Non-finite, both cardinals and ordinals are commutative because of the inherent incompleteness of any non- finite set. In other is used for both ordered/unordered non- finite sets and in both cases.

A further research We believe that further research into various degrees of the number's distinction (measured by symmetry and based on bridging between locality and non locality) is the right way to fulfill Hilbert's organic paradigm of the mathematical language. Finally, research by Dr. Linda Kreger Silverman over the last two decades demonstrates that there are two kinds of learners: Auditory-Sequential Learners (ASL) and Visual-Spatial-Learners (VSL). Complementary mathematics is a model that bridges between ASL and VSL. Thank you