On the Formal Theory of the Ordinal Diagrams
|
|
- Mavis Wilson
- 5 years ago
- Views:
Transcription
1 On the Formal Theory of the Ordinal Diagrams By GAISI TAKEUTI Department of Mathematics, Tokyo University of Education, Tokyo In the former paper [4], the author developed the theory of ordinal diagrams and by the use of transfinite induction for the system of ordinal diagrams he proved the consistency of the logical system called RNN in the former paper [5]. RNN is obtained from GLC (See [6]) modifying it as follows: 1. Every beginning sequence of RNN is of the form D D or of the form a= b) A(a) A(b) or the "mathematische Grundsequenz" in Gentzen [2]. 2. The following inference-schema called 'induction' is added: where a is contained neither in A(O), nor i C nor in ƒ, and t is an arbitrary term. A(a) and A(a+1) are called the chief formulas of this induction. 3. The inference _??_ left on an f-variable is restricted by the condition that _??_ƒõf(ƒõ) is regular (See [5] for ' regular'). In this paper, we shall show that the formal theory of the ordinal diagrams can be developed in RNN. From this, we see easily that the formal theory of the ordinal diagrams is consistent
2 2 T he similar treatment on a formal theory of Ackermann's ordinal numbers (See Ackermann [1].) was carried out by Kino [3]. 1. The beginning sequences in RNN The "mathematische Grundsequenzen " used in this paper are those on the concepts a=b, a<b, a b, 0, 1, a+b, a-b, a Eb, ab and the follow ing ones: where O(n; a) is the formal expression of the concept ` a is an ordinal diagram of order n' in [4], where a denotes the ordinal diagram in [4] expressed by a in this paper. Thus in intuitive explanation of notions, the notions in [4] corresponding to those in this paper we cite using wave where 2a means the formal expression of the positive integer 'a' in [4]. Thus _??_ is a where 3i 5r 7a neabs the formal expression of '(i;r,a)'in [4]
3 [4] where 11a 13b means the formal expression of 'a#b' in [4] where o(a) is the formal expression of the minimum number m in [4].such that a is an ordinal diagram of order m where ¼ (i; a, b) is the formal expression of the concept 'a ¼i b' in where = (a, b) is the formal expression of the concept 'a=b' in [4]
4 where 1(a) is the formal expression of the number of the components of a in [4] where comp (i; a) is the formal expression of the i-th component of a in [4] where cor(i; a, b) is the formal expression of 'li' in [4], such that a has k components a1 c c, ak, b has the same number of them b1, c c, bkr, and there exsists a permutation (l1 c c, lk) of (1, c c, ď) satisfying ali= bi where <(i; a, b) is the formal expression of 'a< i_??_' in [4]
5 where cof (i; j; a) is the formal expression of the integer k in [4],.such that the k-th component of d is the i-th in order of magunitude for.the order <i In the following we write simply comp (i; j; a) for comp (cof (i; j; a); a) where cos(i; a, b) is the formal expression of the minimum number m in [4], such that comp(i; m, b) is greater than comp(i; m, a) for the -order<i
6 6 where sect (i; a, b) is the formal expression of the i-section of is being not less than b for the order <i provided that there exists such one where part(i; j, k; a) is the formal expression of the ordinal diagram ' comp(i; j; a)# c c #comp(i; k; a)' in [4] The provable sequences in RNN We see that the following sequences are provable in RNN which follows from induction, and the right side of which is sometimes called the axiom of course-of-values induction
7 which is proved by course-of-values induction on 1(a) and induction on i which follows from which is proved by course-of-values induction on a which is proved by course-of-values induction on a which is proved by course-of-values induction on 1(a) which is proved by course-of-values induction on b which is proved by course-of-values induction on a by use of
8 _??_ƒõ which follows from 2.17, which follows from which is proved by course-of-values induction on 1(a) which is proved by course-of-values induction on b. 3. Accessibility of the ordinal diagrams of order n In this section, let n be a fixed positive integer. Let i be an integer satisfying 0 i n. We now define F(i; n; a) and A(i; n; a) recursively as follows: F(n; n; a) means O(n; a). A(i; n; a) is the abbreviation of (_??_ƒô(f(i; n; ƒô)_??_y(f(i; n; y)?<(i; y, ƒô)?[y])?[ƒô])?[a]). F(i n; a) is the abbreviation of F(i+l; n; a)?_??_ƒô( ¼(i+1; ƒô, a) A(i+1; n; x)), if i is less than n. In the following, we shall prove that several sequences are provable in RNN. Since the inferences other than _??_ left on an f-variable have no restriction, we have only to remark the form of _??_ left on an f-variable used in the proof-figures. Therefore we say briefly, 'A sequence _??_ follows straight from the sequences _??_1, c c,_??_n', if _??_ is provable from _??_1, c c,_??_n without using _??_ left on an f-variable. In the conclusion of the following propositions (1-16), if we prove that a sequence _??_ is pro vable in RNN, then _??_ has no free variable. If we say, 'A sequence _??_ follows straight from the proposition that _??_0 is provable in RNN', then we mean _??_ follows straight from a sequence _??_1, which is obtained from _??_0 by substituting several adequate terms for the free variables in _??_
9 9. In this section, we shall prove that the sequence is provable in RNN. It should be noticed that every inference _??_ left on an f-variable used in the proof-figure to this sequence has the chief-formula of the form A(i; n; t), which is clearly a regular formula In the following, let us use the following abbreviations: is less than n, (Thus F(i; a) and A(i; a) are abbreviations for F(i; n; a)and A(i; n; a), respectively.) 3.1. PROPOSITION 1. The following sequence is provable in RNN; PROOF. We have straight
10 10 From this follows straight By _??_ left on an f-variable, from this sequence follows 3.2. PROPOSITION 2. The following sequence is provable in RNN; PROOF. We have straight By _??_ left on an f-variable From this sequence we have straight the follwing sequences in succession; i. e PROPOSITION 3. The following sepuence is provable in RNN --> A(i; 2). PROOF The following sequence is provable in RNN; --> F(i; 2). Proof. From follows straight From this sequence follows straight On the other hand, from 1.12 follows straight - F(n; 2). From above two sequences, using cuts repeatedly, we have the sequence in question for each i, q. e. d
11 11 We now prove From 2. 6 follows straight From this sequence and 3. 2, follows Then by the help of , we have straight the sequence in question q. e. d PROPOSITION 4. The following sequence is provable in RNN;, PROOF. The following sequences follow straight in succession; On the other hand, follows straight From and follows straight Then by _??_ left on an f-variable, From this follows straight the sequence in question, q. e. d PROPOSITION 5. The following sequences are provable in RNN, PROOF. We set the first sequence as _??_1(i) and the second as _??_2(i) First we shall prove _??_1(n). From follows straight a=a(1), = (a, b), O(a) O(b). The following sequences follow straight in succession;
12 12 (by 1.13, 1.43 and 1.44). On the other hand, the following sequences follow straight in succession; From , by course-of-values induction, follows We now prove _??_2(i), provided that_??_1(i) is proved. From 3.4, follows straight Then, by 3.2 follows From this, by using _??_(i) and 3. 1, _??_(i) follows straight We now prove _??_1(i), provided that we have obtained _??_1(i+1) (hence _??_2 (i +1) by 3.5.2). The following sequences follow straight in succession; From the last sequence and _??_1(i+1), follows straight _??_1(i) for inn, q.e.d PROPOSITION 6. The following sequence is provable in RNN; The following sequence is provable in RNN; Proof. For the case i=n, it follows from We now prove
13 13. for i<n, provided that we have proved The following sequences follow straight in succession; The following sequence is provable in RNN; Proof. The sequence in question is 2.7 for i=n. Now we prove the case i<n, provided that the sequence is proved for i+1. From 2.11 follows straight Then, by our assumption we can conclude the proof The following sequence is provable in RNN; Proof. From 2.13, 3.4 and follws straight On the other hand, from 1.55 follows straight From , and follows straight the sequence in question, q.e.d The following sequence is provable in RNN; Proof. For the case i=n, it follows straight from Now we prove it for i<n, provided that F(i+1; l1a E13b) F(i+1; b) holds. From 1.35 and our assumption, it follows straight, q. e. d The following sequence is provable in RNN; Proof. From 3.5 and follows straight
14 14 From this sequence and follows straight the sequence in question, q. e. d. We now prove 3.6. The following sequences follow straight; The following sequences follow straight in succession; By _??_ left on an f-variable, From and 3.1 follows straight On the other hand, from 2.12 and follows straight From , and 2.20 by induction follows straight the sequence in question, q.e.d PROPOSITION 7. The following sequence is provable in RNN; -164-
15 15 PROOF. The following sequences follow straight From 3.7.1,3.7.2 and 2.2 follows straight hence, On the other hand, follows straight From and follows straight From this by course-of-values induction, From this and 3.2 we have straight the sequence in question, q.e.d PROPOSITION 8. The following sequence is provable in RNN; PROOF. The following sequences follow straight; From 3.8.1,3.8.2 and 2.4 follows straight From 1.29 and 1.30 follows straight On the other hand, from 3.1 and the definition of F(i; a,) follows straight
16 16 Using and repeatedly, we have the sequence Then from 3.8.5,3.8.6 and 3.7 follows straight By _??_ left on an f-variable, 3.9. PROPOSITION 9. The following sequence is provable in RNN, where i is an integer satisfying 0 <i<n; PROOF. We have straight each of the following sequences; From ,1.93 and 1.94 follows ssraight From 3.9.1,3.9.6 and 2.4 follows straight On the other hand, from 3.3 and follows straight From 3.9.7, and 3.7 follows straight the sequence in question, q.e.d PROPOSITION 10. The following sequence is provable in RNN; PROOF. From 3.9, using cuts repeatedly, we have straight
17 17 From this and 3.8 follows straight the sequence in question, q.e.d PROPOSITION 11. The following sequence is provable in RNN; PROOF. In the same way as in 3.3.1, follows straight Then in the same way as in the proof of 3.9, we have straight the sequence. Here 3.3, 3.10 and are useful for us PROPOSITION 12. The following sequence is provable in RNN; PROOF. In the same way as in the proof of 3.11, using in place of , follows straight q.e.d. From this sequence and 3.11 follows straight the sequence in question, PROPOSITION 13. The following sequence is provable in RNN; PROOF. From 3.12, by induction follows straight From this sequence and 3.3 follows straight the sequence in question, q.e.d PROPOSITION 14. The following sequence is provable in RNN; PROOF. From 3.4 and 3.13 follows straight From this sequence and 2.22 follows straight the sequence in question, q.e.d PROPOSITION 15. The following sequence is provable in RNN; PROOF The following sequence is provable in RNN;
18 18 Proof. First we prove the casei=n. From 1.17, and 2.22 follows straight then follows Similary, from 1.33 and 2.2 follows straight From , , 1.7, 1.11, and 1.27 follows straight By course-of-values induction, from this sequence follows Now we assume ¼ (i; a, b), F(j+1; b) F(j+1; a) for i<j. We have straight in the similar way as in Using , and our assump tion, we have the sequence in question in the same way as above, q.e.d. In the same way as we had and 3.7.4, we have straight the sequences and , respectively; From these sequences follows straight _??_ƒô (ƒô<b G'(i; ƒô, a, c)) _??_ƒô(ƒô< H'(i;ƒÔ,a,c)) H(i;b,a,c). Hence by course-of-values induction, From , , 1.74, 1.86 and 2.23 follows straight the sequence in question, q.e.d PROPOSITION 16. The following sequence is provable in RNN; PROOF. From 3.4, 3.5 and 1.88 follows straight From 2.11 follows straight -168-
19 From , , 1.55 and 1.84 follows straight From , 1.54, 1.55, 1.74, 1.84, 1.87 and 2.13 follows straight From 1.55, 1.68, 1.69, 1.72, 1.81 and 2.13 follows straight Then from and follows straight On the other hand, from 3.15 follows straight From and follows straight By course-of-values induction follows Then the following sequences follow in succession; by _??_ on an f-variable, Then by 2.3 and follows From this sequence and 2.22, 3.4 follows straight the sequence in question, q.e.d THEOREM.The following sequence is provable in RNN; PROOF.From 3.16 follows straight From this sequence and 3.14 follows straight the sequence
20 20 which is the sequece in question, q. e. d. Refereces [1] W. Ackermann: Konstruktiver Aufbau eines Abschnitts der zweite n Cantorschen Zahlenklasse; Math. Z. 53 (1951), [2] G. Gentzen: bie gegenwartige Lage i. der mathematischen Grund lagenforschung. Neue Fassung des Widerspruchsfreiheitsbeweises fur die reine Zahlentheorie; Leipzig, [3] A. Kino: A consistency-proof of a formal theory of Ackermann's ordi al umbers. Forthcoming in J. Math. Soc. Japan 10 (1958). [4] G. Takeuti: Ordinal diagrams; J. Math. Soc. Japan 9 (1957), [5] -: On the fundame.tal co.jecture of GLC V; J. Math. Soc. Japa n 10 (1958), [6] -: On a generalized logic calculus; Jap. J. Math. 23 (1953), Errata to 'On a generalized logic calculus'; Jap. J. Math. 24 (1954), (Received Feb. 17, 1958) Correctio. of my former paper 'Co.structio. of Ramified Real Numbers' in this Annals 1 (1956), The degree used in 2 is defined by the following modification of 1.7: substitute ƒö2i for ƒöi in and ƒö2i+1 for ƒöi+1 in
1/8. Axioms of Intuition
1/8 Axioms of Intuition Kant now turns to working out in detail the schematization of the categories, demonstrating how this supplies us with the principles that govern experience. Prior to doing so he
More informationNissim Francez: Proof-theoretic Semantics College Publications, London, 2015, xx+415 pages
BOOK REVIEWS Organon F 23 (4) 2016: 551-560 Nissim Francez: Proof-theoretic Semantics College Publications, London, 2015, xx+415 pages During the second half of the twentieth century, most of logic bifurcated
More informationIntroduction Section 1: Logic. The basic purpose is to learn some elementary logic.
1 Introduction About this course I hope that this course to be a practical one where you learn to read and write proofs yourselves. I will not present too much technical materials. The lecture pdf will
More informationPeirce's Remarkable Rules of Inference
Peirce's Remarkable Rules of Inference John F. Sowa Abstract. The rules of inference that Peirce invented for existential graphs are the simplest, most elegant, and most powerful rules ever proposed for
More informationILSB Guideline for Authors Writing Reports and Theses
ILSB Guideline for Authors Writing Reports and Theses H. Pettermann Institute of Lightweight Design and Structural Biomechanics Vienna University of Technology 2012 02 27 General Guidelines on Scientific
More informationHaskell Brooks Curry was born on 12 September 1900 at Millis, Massachusetts and died on 1 September 1982 at
CURRY, Haskell Brooks (1900 1982) Haskell Brooks Curry was born on 12 September 1900 at Millis, Massachusetts and died on 1 September 1982 at State College, Pennsylvania. His parents were Samuel Silas
More informationINTRODUCTION TO AXIOMATIC SET THEORY
INTRODUCTION TO AXIOMATIC SET THEORY SYNTHESE LIBRARY MONOGRAPHS ON EPISTEMOLOGY, LOGIC, METHODOLOGY, PHILOSOPHY OF SCIENCE, SOCIOLOGY OF SCIENCE AND OF KNOWLEDGE, AND ON THE MATHEMATICAL METHODS OF SOCIAL
More informationcse371/mat371 LOGIC Professor Anita Wasilewska
cse371/mat371 LOGIC Professor Anita Wasilewska LECTURE 1 LOGICS FOR COMPUTER SCIENCE: CLASSICAL and NON-CLASSICAL CHAPTER 1 Paradoxes and Puzzles Chapter 1 Introduction: Paradoxes and Puzzles PART 1: Logic
More informationBROUWER'S CONTRIBUTIONS TO THE FOUNDATIONS OF MATHEMATICS*
1924.] BROUWER ON FOUNDATIONS 31 BROUWER'S CONTRIBUTIONS TO THE FOUNDATIONS OF MATHEMATICS* BY ARNOLD DRESDEN 1. Introduction. In a number of papers, published from 1907 on, Professor L. E. J. Brouwer,
More informationBackground to Gottlob Frege
Background to Gottlob Frege Gottlob Frege (1848 1925) Life s work: logicism (the reduction of arithmetic to logic). This entailed: Inventing (discovering?) modern logic, including quantification, variables,
More informationMusical Representations of the Fibonacci String and Proteins Using Mathematica
Paper #55 Musical Representations of the Fibonacci String and Proteins Using Mathematica I) Fibonacci Strings. Erik Jensen 1 and Ronald J. Rusay 1, 2 1) Diablo Valley College, Pleasant Hill, California
More informationDesigning a Deductive Foundation System
Designing a Deductive Foundation System Roger Bishop Jones Date: 2009/05/06 10:02:41 Abstract. A discussion of issues in the design of formal logical foundation systems suitable for use in machine supported
More informationOn the Infinity of Primes of the Form 2x 2 1
On the Infinity of Primes of the Form 2x 2 1 Pingyuan Zhou E-mail:zhoupingyuan49@hotmail.com Abstract In this paper we consider primes of the form 2x 2 1 and discover there is a very great probability
More informationLogic and Philosophy of Science (LPS)
Logic and Philosophy of Science (LPS) 1 Logic and Philosophy of Science (LPS) Courses LPS 29. Critical Reasoning. 4 Units. Introduction to analysis and reasoning. The concepts of argument, premise, and
More information1/6. The Anticipations of Perception
1/6 The Anticipations of Perception The Anticipations of Perception treats the schematization of the category of quality and is the second of Kant s mathematical principles. As with the Axioms of Intuition,
More informationTHE SUBSTITUTIONAL ANALYSIS OF LOGICAL CONSEQUENCE
THE SUBSTITUTIONAL ANALYSIS OF LOGICAL CONSEQUENCE Volker Halbach draft version please don t quote 2nd June 2016 Consequentia formalis vocatur quae in omnibus terminis valet retenta forma consimili. Vel
More informationChapter 27. Inferences for Regression. Remembering Regression. An Example: Body Fat and Waist Size. Remembering Regression (cont.)
Chapter 27 Inferences for Regression Copyright 2007 Pearson Education, Inc. Publishing as Pearson Addison-Wesley Slide 27-1 Copyright 2007 Pearson Education, Inc. Publishing as Pearson Addison-Wesley An
More informationCheck back at the NCTM site for additional notes and tasks next week.
Check back at the NCTM site for additional notes and tasks next week. PROOF ENOUGH FOR YOU? General Interest Session NCTM Annual Meeting and Exposition April 19, 2013 Ralph Pantozzi Kent Place School,
More informationEach copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission.
V. On the Use and Misuse of Mathematics in Presenting Economic Theory Author(s): D. G. Champernowne Source: The Review of Economics and Statistics, Vol. 36, No. 4 (Nov., 1954), pp. 369-372 Published by:
More informationTrope Theory, Resemblance, and Russell's Regress
Trope Theory, Resemblance, and Russell's Regress Florian Boge 12.07.2012 Structure Introduction what are tropes? Nominalism about universals Bundle theory A refinement: nucleus theory Similarity relations
More informationLing 130: Formal Semantics. Spring Natural Deduction with Propositional Logic. Introducing. Natural Deduction
Ling 130: Formal Semantics Rules Spring 2018 Outline Rules 1 2 3 Rules What is ND and what s so natural about it? A system of logical proofs in which are freely introduced but discharged under some conditions.
More informationDan Nesher, Department of Philosophy University of Haifa, Israel
GÖDEL ON TRUTH AND PROOF: Epistemological Proof of Gödel s Conception of the Realistic Nature of Mathematical Theories and the Impossibility of Proving Their Incompleteness Formally Dan Nesher, Department
More informationScientific Philosophy
Scientific Philosophy Gustavo E. Romero IAR-CONICET/UNLP, Argentina FCAGLP, UNLP, 2018 Philosophy of mathematics The philosophy of mathematics is the branch of philosophy that studies the philosophical
More informationAll Roads Lead to Violations of Countable Additivity
All Roads Lead to Violations of Countable Additivity In an important recent paper, Brian Weatherson (2010) claims to solve a problem I have raised elsewhere, 1 namely the following. On the one hand, there
More informationQUANTIFICATION IN AFRICAN LOGIC. Jonathan M. O. Chimakonam Ph.D Department of Philosophy University of Calabar, Nigeria
Filosofia Theoretica: Journal of African Philosophy, Culture and Religion QUANTIFICATION IN AFRICAN LOGIC 1. Predication Jonathan M. O. Chimakonam Ph.D Department of Philosophy University of Calabar, Nigeria
More informationA Functional Representation of Fuzzy Preferences
Forthcoming on Theoretical Economics Letters A Functional Representation of Fuzzy Preferences Susheng Wang 1 October 2016 Abstract: This paper defines a well-behaved fuzzy order and finds a simple functional
More informationAskDrCallahan Calculus 1 Teacher s Guide
AskDrCallahan Calculus 1 Teacher s Guide 3rd Edition rev 080108 Dale Callahan, Ph.D., P.E. Lea Callahan, MSEE, P.E. Copyright 2008, AskDrCallahan, LLC v3-r080108 www.askdrcallahan.com 2 Welcome to AskDrCallahan
More informationTHE PARADOX OF ANALYSIS
SBORNlK PRACl FILOZOFICKE FAKULTY BRNENSKE UNIVERZITY STUDIA MINORA FACULTATIS PHILOSOPHICAE UNIVERSITATIS BRUNENSIS B 39, 1992 PAVEL MATERNA THE PARADOX OF ANALYSIS 1. INTRODUCTION Any genuine paradox
More informationIF MONTY HALL FALLS OR CRAWLS
UDK 51-05 Rosenthal, J. IF MONTY HALL FALLS OR CRAWLS CHRISTOPHER A. PYNES Western Illinois University ABSTRACT The Monty Hall problem is consistently misunderstood. Mathematician Jeffrey Rosenthal argues
More informationTHE PROBLEM OF INTERPRETING MODAL LOGIC w. V. QUINE
THm J OUBKAL OJ' SYMBOLIC LOGlc Volume 12, Number 2, June 1947 THE PROBLEM OF INTERPRETING MODAL LOGIC w. V. QUINE There are logicians, myself among them, to \",~hom the ideas of modal logic (e. g. Lewis's)
More informationMODEL QUESTIONS WITH ANSWERS THIRD SEMESTER B.TECH DEGREE EXAMINATION DECEMBER CS 203: Switching Theory and Logic Design. Time: 3 Hrs Marks: 100
MODEL QUESTIONS WITH ANSWERS THIRD SEMESTER B.TECH DEGREE EXAMINATION DECEMBER 2016 CS 203: Switching Theory and Logic Design Time: 3 Hrs Marks: 100 PART A ( Answer All Questions Each carries 3 Marks )
More informationWhat is Character? David Braun. University of Rochester. In "Demonstratives", David Kaplan argues that indexicals and other expressions have a
Appeared in Journal of Philosophical Logic 24 (1995), pp. 227-240. What is Character? David Braun University of Rochester In "Demonstratives", David Kaplan argues that indexicals and other expressions
More informationAppendix B. Elements of Style for Proofs
Appendix B Elements of Style for Proofs Years of elementary school math taught us incorrectly that the answer to a math problem is just a single number, the right answer. It is time to unlearn those lessons;
More informationReplies to the Critics
Edward N. Zalta 2 Replies to the Critics Edward N. Zalta Center for the Study of Language and Information Stanford University Menzel s Commentary Menzel s commentary is a tightly focused, extended argument
More informationTN1205 Technical note
Technical note Tape and reel shipping media for STM8 and STM32 microcontrollers in FPN packages Introduction FPN packages can be supplied in tape and reel shipping media. The reels have a 13 typical diameter.
More informationThe second disease is very common: there are many books that violate the principle of having something to say by trying to say too many things.
How to write Mathematics by Paul Halmos (excerpts chosen by B. Rossa)...you must have something to say, and you must have someone to say it to, you must organize what you want to say, and you must arrange
More informationElements of Style. Anders O.F. Hendrickson
Elements of Style Anders O.F. Hendrickson Years of elementary school math taught us incorrectly that the answer to a math problem is just a single number, the right answer. It is time to unlearn those
More informationMelodic Pattern Segmentation of Polyphonic Music as a Set Partitioning Problem
Melodic Pattern Segmentation of Polyphonic Music as a Set Partitioning Problem Tsubasa Tanaka and Koichi Fujii Abstract In polyphonic music, melodic patterns (motifs) are frequently imitated or repeated,
More informationPART II METHODOLOGY: PROBABILITY AND UTILITY
PART II METHODOLOGY: PROBABILITY AND UTILITY The six articles in this part represent over a decade of work on subjective probability and utility, primarily in the context of investigations that fall within
More informationmcs 2015/5/18 1:43 page 15 #23
1.7 Proof by Cases mcs 2015/5/18 1:43 page 15 #23 Breaking a complicated proof into cases and proving each case separately is a common, useful proof strategy. Here s an amusing example. Let s agree that
More informationNegation Switching Equivalence in Signed Graphs
International J.Math. Combin. Vol.3 (2010), 85-90 Negation Switching Equivalence in Signed Graphs P.Siva Kota Reddy (Department of Mathematics, Acharya Institute of Technology, Bangalore-560 090, India)
More informationMATH 195: Gödel, Escher, and Bach (Spring 2001) Notes and Study Questions for Tuesday, March 20
MATH 195: Gödel, Escher, and Bach (Spring 2001) Notes and Study Questions for Tuesday, March 20 Reading: Chapter VII Typographical Number Theory (pp.204 213; to Translation Puzzles) We ll also talk a bit
More informationDisquotation, Conditionals, and the Liar 1
POLISH JOURNAL OF PHILOSOPHY Vol. III, No. 1 (Spring 2009), 5-21. Disquotation, Conditionals, and the Liar 1 John Barker University of Illinois at Springfield Abstract. In this paper I respond to Jacquette
More informationIntroduction p. 1 The Elements of an Argument p. 1 Deduction and Induction p. 5 Deductive Argument Forms p. 7 Truth and Validity p. 8 Soundness p.
Preface p. xi Introduction p. 1 The Elements of an Argument p. 1 Deduction and Induction p. 5 Deductive Argument Forms p. 7 Truth and Validity p. 8 Soundness p. 11 Consistency p. 12 Consistency and Validity
More informationTotal Minimal Dominating Signed Graph
International J.Math. Combin. Vol.3 (2010), 11-16 Total Minimal Dominating Signed Graph P.Siva Kota Reddy (Department of Mathematics, Acharya Institute of Technology, Bangalore-560 090, India) S. Vijay
More informationREPEAT EXAMINATIONS 2002
REPEAT EXAMINATIONS 2002 EE101 Digital Electronics Solutions Question 1. An engine has 4 fail-safe sensors. The engine should keep running unless any of the following conditions arise: o If sensor 2 is
More information2D ELEMENTARY CELLULAR AUTOMATA WITH FOUR NEIGHBORS
2D ELEMENTARY CELLULAR AUTOMATA WITH FOUR NEIGHBORS JOSÉ ANTÓNIO FREITAS Escola Secundária Caldas de Vizela, Rua Joaquim Costa Chicória 1, Caldas de Vizela, 4815-513 Vizela, Portugal RICARDO SEVERINO CIMA,
More informationGuidance on Projects
Guidance on Projects Oxford FHS in Mathematics and Joint Schools Introduction Structuring a thesis Referencing Style and presentation Timing Questions, discussion and a.o.b. 0 Introduction Plan for this
More informationCPSC 121: Models of Computation. Module 1: Propositional Logic
CPSC 121: Models of Computation Module 1: Propositional Logic Module 1: Propositional Logic By the start of the class, you should be able to: Translate back and forth between simple natural language statements
More informationCHAPTER I BASIC CONCEPTS
CHAPTER I BASIC CONCEPTS Sets and Numbers. We assume familiarity with the basic notions of set theory, such as the concepts of element of a set, subset of a set, union and intersection of sets, and function
More informationAppeal decision. Appeal No France. Tokyo, Japan. Tokyo, Japan. Tokyo, Japan. Tokyo, Japan. Tokyo, Japan
Appeal decision Appeal No. 2015-21648 France Appellant THOMSON LICENSING Tokyo, Japan Patent Attorney INABA, Yoshiyuki Tokyo, Japan Patent Attorney ONUKI, Toshifumi Tokyo, Japan Patent Attorney EGUCHI,
More informationFormula of the sieve of Eratosthenes. Abstract
Formula of the sieve of Eratosthenes Prof. and Ing. Jose de Jesus Camacho Medina Pepe9mx@yahoo.com.mx Http://matematicofresnillense.blogspot.mx Fresnillo, Zacatecas, Mexico. Abstract This article offers
More informationFor an alphabet, we can make do with just { s, 0, 1 }, in which for typographic simplicity, s stands for the blank space.
Problem 1 (A&B 1.1): =================== We get to specify a few things here that are left unstated to begin with. I assume that numbers refers to nonnegative integers. I assume that the input is guaranteed
More informationTHE SUBSTITUTIONAL ANALYSIS OF LOGICAL CONSEQUENCE
THE SUBSTITUTIONAL ANALYSIS OF LOGICAL CONSEQUENCE Volker Halbach 9th July 2016 Consequentia formalis vocatur quae in omnibus terminis valet retenta forma consimili. Vel si vis expresse loqui de vi sermonis,
More informationFlip-Flop Circles and their Groups
Flip-Flop Circles and their Groups John Clough I. Introduction We begin with an example drawn from Richard Cohn s 1996 paper Maximally Smooth Cycles, Hexatonic Systems, and the Analysis of Late-Romantic
More informationLesson 25: Solving Problems in Two Ways Rates and Algebra
: Solving Problems in Two Ways Rates and Algebra Student Outcomes Students investigate a problem that can be solved by reasoning quantitatively and by creating equations in one variable. They compare the
More informationProofs That Are Not Valid. Identify errors in proofs. Area = 65. Area = 64. Since I used the same tiles: 64 = 65
1.5 Proofs That Are Not Valid YOU WILL NEED grid paper ruler scissors EXPLORE Consider the following statement: There are tthree errorss in this sentence. Is the statement valid? GOAL Identify errors in
More informationChapter 4. Logic Design
Chapter 4 Logic Design 4.1 Introduction. In previous Chapter we studied gates and combinational circuits, which made by gates (AND, OR, NOT etc.). That can be represented by circuit diagram, truth table
More informationTHE COMMON MINIMAL COMMON NEIGHBORHOOD DOMINATING SIGNED GRAPHS. Communicated by Alireza Abdollahi. 1. Introduction
Transactions on Combinatorics ISSN (print): 2251-8657, ISSN (on-line): 2251-8665 Vol. 2 No. 1 (2013), pp. 1-8. c 2013 University of Isfahan www.combinatorics.ir www.ui.ac.ir THE COMMON MINIMAL COMMON NEIGHBORHOOD
More informationCONTINGENCY AND TIME. Gal YEHEZKEL
CONTINGENCY AND TIME Gal YEHEZKEL ABSTRACT: In this article I offer an explanation of the need for contingent propositions in language. I argue that contingent propositions are required if and only if
More informationLogik für Informatiker Logic for computer scientists
Logik für Informatiker for computer scientists WiSe 2011/12 Language, proof and logic LPL book detailed introduction into first-order logic with many exercises Boole construct truth tables Tarski s world
More informationLecture 10 Popper s Propensity Theory; Hájek s Metatheory
Lecture 10 Popper s Propensity Theory; Hájek s Metatheory Patrick Maher Philosophy 517 Spring 2007 Popper s propensity theory Introduction One of the principal challenges confronting any objectivist theory
More information5. One s own opinion shall be separated from facts and logical conclusions as well as from the opinions of cited authors.
Orientation guide for theses Chair for Public Finance and Macroeconomics Prof. Dr. Dr. Josef Falkinger Version: March 2013 Theses (Bachelor s and Master's thesis) at our Chair must meet certain basic requirements.
More informationSwitching Circuits & Logic Design, Fall Final Examination (1/13/2012, 3:30pm~5:20pm)
Switching Circuits & Logic Design, Fall 2011 Final Examination (1/13/2012, 3:30pm~5:20pm) Problem 1: (15 points) Consider a new FF with three inputs, S, R, and T. No more than one of these inputs can be
More informationSTRUCTURES AND STRUCTURALISM IN CONTEMPORARY PHILOSOPHY OF MATHEMATICS
ERICH H. RECK and MICHAEL P. PRICE STRUCTURES AND STRUCTURALISM IN CONTEMPORARY PHILOSOPHY OF MATHEMATICS ABSTRACT. In recent philosophy of mathematics a variety of writers have presented structuralist
More informationPhilosophy Historical and Philosophical Foundations of Set Theory Syllabus: Autumn:2005
Philosophy 30200 Historical and Philosophical Foundations of Set Theory Syllabus: Autumn:2005 W. W. Tait Meeting times: Wednesday 9:30-1200, starting Sept 28. Meeting place: Classics 11. I will be away
More informationTHE CAPABILITY to display a large number of gray
292 JOURNAL OF DISPLAY TECHNOLOGY, VOL. 2, NO. 3, SEPTEMBER 2006 Integer Wavelets for Displaying Gray Shades in RMS Responding Displays T. N. Ruckmongathan, U. Manasa, R. Nethravathi, and A. R. Shashidhara
More informationCurry s Formalism as Structuralism
Curry s Formalism as Structuralism Jonathan P. Seldin Department of Mathematics and Computer Science University of Lethbridge Lethbridge, Alberta, Canada jonathan.seldin@uleth.ca http://www.cs.uleth.ca/
More informationARTICULATION AGREEMENT FORM
ARTICULATION AGREEMENT FORM A. SENDING AND RECEIVING INSTITUTIONS Sending College: Borough of Manhattan Community College Department: Social Sciences, Human Services and Criminal Justice Program: Psychology
More informationThe unbelievable musical magic of the number 12
The unbelievable musical magic of the number 12 This is an extraordinary tale. It s worth some good exploratory time. The students will encounter many things they already half know, and they will be enchanted
More informationA NOTE ON THE ERGODIC THEOREMS
A NOTE ON THE ERGODIC THEOREMS YAEL NAIM DOWKER Introduction, definitions and remarks. The purpose of this note is to give an example of a measurable transformation of a measure space onto itself for which
More informationReview. DuMMETT, MICHAEL. The elements of intuitionism. Oxford: Oxford University Press, 1977, χ+467 pages.
Review DuMMETT, MICHAEL. The elements of intuitionism. Oxford: Oxford University Press, 1977, χ+467 pages. Over the last twenty years, Dummett has written a long series of papers advocating a view on meaning
More informationHints on writing Essays, Reports and Dissertations
Hints on writing Essays, Reports and Dissertations Anton Setzer December 3, 2014 Here follow a couple of remarks, which might improve the quality of essays and reports: Look very carefully at the marking
More informationUNIT III. Combinational Circuit- Block Diagram. Sequential Circuit- Block Diagram
UNIT III INTRODUCTION In combinational logic circuits, the outputs at any instant of time depend only on the input signals present at that time. For a change in input, the output occurs immediately. Combinational
More informationMusic. Associate in Science in Mathematics for Transfer (AS-T) Degree Major Code:
Explain and demonstrate mathematical concepts relevant to the course content. Analyze and construct proofs relevant to the course concepts. Create, interpret and analyze graphs relevant to the course content.
More informationCOMP Intro to Logic for Computer Scientists. Lecture 2
COMP 1002 Intro to Logic for Computer Scientists Lecture 2 B 5 2 J Twins puzzle There are two identical twin brothers, Dave and Jim. One of them always lies; another always tells the truth. Suppose you
More informationThe Function Is Unsaturated
The Function Is Unsaturated Richard G Heck Jr and Robert May Brown University and University of California, Davis 1 Opening That there is a fundamental difference between objects and functions (among which
More informationAlfred Tarski in Poland: New Translations and Background
Joint Mathematics Meetings Association for Symbolic Logic Baltimore, Maryland 17 18 January 2014 Alfred Tarski in Poland: New Translations and Background James T. Smith, Professor Emeritus San Francisco
More informationMathematics Curriculum Document for Algebra 2
Unit Title: Square Root Functions Time Frame: 6 blocks Grading Period: 2 Unit Number: 4 Curriculum Enduring Understandings (Big Ideas): Representing relationships mathematically helps us to make predictions
More informationFormal Concept Analysis
Formal Concept Analysis Springer Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Bernhard Ganter Rudolf Wille Formal Concept Analysis Mathematical Foundations With 105
More informationDigitizing and Sampling
F Digitizing and Sampling Introduction................................................................. 152 Preface to the Series.......................................................... 153 Under-Sampling.............................................................
More information3. The knower s perspective is essential in the pursuit of knowledge. To what extent do you agree?
3. The knower s perspective is essential in the pursuit of knowledge. To what extent do you agree? Nature of the Title The essay requires several key terms to be unpacked. However, the most important is
More informationPermutations of the Octagon: An Aesthetic-Mathematical Dialectic
Proceedings of Bridges 2015: Mathematics, Music, Art, Architecture, Culture Permutations of the Octagon: An Aesthetic-Mathematical Dialectic James Mai School of Art / Campus Box 5620 Illinois State University
More informationFAR Part 150 Noise Exposure Map Checklist
FAR Part 150 Noise Exposure Map Checklist I. IDENTIFICATION AND SUBMISSION OF MAP DOCUMENT: Page Number A. Is this submittal appropriately identified as one of the following, submitted under FAR Part 150:
More informationCorrelation to the Common Core State Standards
Correlation to the Common Core State Standards Go Math! 2011 Grade 4 Common Core is a trademark of the National Governors Association Center for Best Practices and the Council of Chief State School Officers.
More informationJournal of the Society of Cosmetic Chemists of Japan Instructions for Authors
Journal of the Society of Cosmetic Chemists of Japan Instructions for Authors 1. Submission Requirement In principle, only members of the Society are entitled to submit manuscripts. Submissions by non-members
More informationCriterion A: Understanding knowledge issues
Theory of knowledge assessment exemplars Page 1 of2 Assessed student work Example 4 Introduction Purpose of this document Assessed student work Overview Example 1 Example 2 Example 3 Example 4 Example
More informationData & Information Test 2 (1.5 hours)
201300180 Data & Information Test 2 (1.5 hours) 22 May 2015, 13:45 15:15 Please note: Please answer questions 1, 2, and 3 each on a separate sheet of paper (Not on the back side of the previous question,
More informationSigned Graph Equation L K (S) S
International J.Math. Combin. Vol.4 (2009), 84-88 Signed Graph Equation L K (S) S P. Siva Kota Reddy andm.s.subramanya Department of Mathematics, Rajeev Institute of Technology, Industrial Area, B-M Bypass
More informationOn the Construction of Lightweight Circulant Involutory MDS Matrices
On the Construction of Lightweight Circulant Involutory MDS Matrices Yongqiang Li a,b, Mingsheng Wang a a. State Key Laboratory of Information Security, Institute of Information Engineering, Chinese Academy
More informationConceptions and Context as a Fundament for the Representation of Knowledge Artifacts
Conceptions and Context as a Fundament for the Representation of Knowledge Artifacts Thomas KARBE FLP, Technische Universität Berlin Berlin, 10587, Germany ABSTRACT It is a well-known fact that knowledge
More informationMusic Through Computation
Music Through Computation Carl M c Tague July 7, 2003 International Mathematica Symposium Objective: To develop powerful mathematical structures in order to compose interesting new music. (not to analyze
More informationINTERNATIONAL CONFERENCE ON ENGINEERING DESIGN ICED 05 MELBOURNE, AUGUST 15-18, 2005 GENERAL DESIGN THEORY AND GENETIC EPISTEMOLOGY
INTERNATIONAL CONFERENCE ON ENGINEERING DESIGN ICED 05 MELBOURNE, AUGUST 15-18, 2005 GENERAL DESIGN THEORY AND GENETIC EPISTEMOLOGY Mizuho Mishima Makoto Kikuchi Keywords: general design theory, genetic
More informationProducing Data: Sampling
CHAPTER 8 Producing Data: Sampling 8.1 8.2 8.3 First Steps Sampling Design Selected Exercise Solutions Introduction In this chapter, we use TI calculators to simulate the collection of random samples.
More informationBeliefs under Unawareness
Beliefs under Unawareness Jing Li Department of Economics University of Pennsylvania 3718 Locust Walk Philadelphia, PA 19104 E-mail: jing.li@econ.upenn.edu October 2007 Abstract I study how choice behavior
More informationReply to Stalnaker. Timothy Williamson. In Models and Reality, Robert Stalnaker responds to the tensions discerned in Modal Logic
1 Reply to Stalnaker Timothy Williamson In Models and Reality, Robert Stalnaker responds to the tensions discerned in Modal Logic as Metaphysics between contingentism in modal metaphysics and the use of
More informationLearn-/Training Document
Learn-/Training Document Siemens Automation Cooperates with Education (SCE) From Version V14 SP1 TIA Portal Module 031-500 Analog Values for SIMATIC S7-1200 siemens.com/sce For unrestricted use in educational
More informationArticulating Medieval Logic, by Terence Parsons. Oxford: Oxford University Press,
Articulating Medieval Logic, by Terence Parsons. Oxford: Oxford University Press, 2014. Pp. xiii + 331. H/b 50.00. This is a very exciting book that makes some bold claims about the power of medieval logic.
More informationECONOMICS 351* -- INTRODUCTORY ECONOMETRICS. Queen's University Department of Economics. ECONOMICS 351* -- Winter Term 2005 INTRODUCTORY ECONOMETRICS
Queen's University Department of Economics ECONOMICS 351* -- Winter Term 2005 INTRODUCTORY ECONOMETRICS Winter Term 2005 Instructor: Web Site: Mike Abbott Office: Room A521 Mackintosh-Corry Hall or Room
More informationRestricted super line signed graph RL r (S)
Notes on Number Theory and Discrete Mathematics Vol. 19, 2013, No. 4, 86 92 Restricted super line signed graph RL r (S) P. Siva Kota Reddy 1 and U. K. Misra 2 1 Department of Mathematics Siddaganga Institute
More information