Diversity in Proof Appraisal

Size: px
Start display at page:

Download "Diversity in Proof Appraisal"

Transcription

1 Diversity in Proof Appraisal Matthew Inglis and Andrew Aberdein Mathematics Education Centre Loughborough University homepages.lboro.ac.uk/ mamji School of Arts & Communication Florida Institute of Technology my.fit.edu/ aberdein Buffalo Annual Experimental Philosophy Conference, September 19, 2014

2 Outline Good Mathematics Human Personalities Original Study Short Scale Against the Exemplar Philosophers Conclusions

3 Most frequent adjectives for proofs on MathOverflow Cluster Raw Freq % Freq elementary proof simple proof original proof short proof direct proof standard proof formal proof algebraic proof complete proof nice proof usual proof rigorous proof new proof easy proof first proof constructive proof combinatorial proof simpler proof quick proof geometric proof theoretic proof Cluster Raw Freq % Freq bijective proof full proof general proof alternative proof detailed proof slick proof analytic proof mathematical proof elegant proof classical proof inductive proof conceptual proof correct proof consistency proof shortest proof topological proof beautiful proof similar proof probabilistic proof published proof valid proof

4 Most frequent adjectives for proofs on MathOverflow Cluster Raw Freq % Freq elementary proof simple proof original proof short proof direct proof standard proof formal proof algebraic proof complete proof nice proof usual proof rigorous proof new proof easy proof first proof constructive proof combinatorial proof simpler proof quick proof geometric proof theoretic proof Cluster Raw Freq % Freq bijective proof full proof general proof alternative proof detailed proof slick proof analytic proof mathematical proof elegant proof classical proof inductive proof conceptual proof correct proof consistency proof shortest proof topological proof beautiful proof similar proof probabilistic proof published proof valid proof

5 What is Good Mathematics? the concept of mathematical quality is a high-dimensional one Terence Tao, 2007, What is good mathematics? Bulletin of the American Mathematical Society, 44(4).

6 What is Good Mathematics? the concept of mathematical quality is a high-dimensional one Terence Tao, 2007, What is good mathematics? Bulletin of the American Mathematical Society, 44(4). How many dimensions?

7 An Analogy: Human Personalities Very many adjectives are used to describe human characteristics.

8 An Analogy: Human Personalities Very many adjectives are used to describe human characteristics. For example, you might hear someone say David is loud, talkative, excitable, outgoing, shameless...

9 An Analogy: Human Personalities Very many adjectives are used to describe human characteristics. For example, you might hear someone say David is loud, talkative, excitable, outgoing, shameless... How many basic ways of characterizing a person are there?

10 An Analogy: Human Personalities Very many adjectives are used to describe human characteristics. For example, you might hear someone say David is loud, talkative, excitable, outgoing, shameless... How many basic ways of characterizing a person are there? This sounds like it s an impossibly complicated question to answer.

11 An Analogy: Human Personalities Very many adjectives are used to describe human characteristics. For example, you might hear someone say David is loud, talkative, excitable, outgoing, shameless... How many basic ways of characterizing a person are there? This sounds like it s an impossibly complicated question to answer. Actually it s not. The answer s five.

12 The Big Five Personality Traits Probably the greatest achievement of 20th century psychology was the discovery that there are only five broad dimensions on which a person s personality varies.

13 The Big Five Personality Traits Probably the greatest achievement of 20th century psychology was the discovery that there are only five broad dimensions on which a person s personality varies. This was discovered by asking people to think of a person, then rate how well a long long list of adjectives described them, then looking at the correlations between these ratings (performing a PCA).

14 The Big Five Personality Traits Probably the greatest achievement of 20th century psychology was the discovery that there are only five broad dimensions on which a person s personality varies. This was discovered by asking people to think of a person, then rate how well a long long list of adjectives described them, then looking at the correlations between these ratings (performing a PCA). Those characteristics which almost always go together are in some sense the same characteristic.

15 The Big Five Openness to Experience: inventive/curious vs consistent/cautious

16 The Big Five Openness to Experience: inventive/curious vs consistent/cautious Conscientiousness: efficient/organised vs easy-going/careless

17 The Big Five Openness to Experience: inventive/curious vs consistent/cautious Conscientiousness: efficient/organised vs easy-going/careless Extraversion: outgoing/energetic vs solitary/reserved

18 The Big Five Openness to Experience: inventive/curious vs consistent/cautious Conscientiousness: efficient/organised vs easy-going/careless Extraversion: outgoing/energetic vs solitary/reserved Agreeableness: compassionate/friendly vs cold/unkind

19 The Big Five Openness to Experience: inventive/curious vs consistent/cautious Conscientiousness: efficient/organised vs easy-going/careless Extraversion: outgoing/energetic vs solitary/reserved Agreeableness: compassionate/friendly vs cold/unkind Neuroticism: sensitive/nervous vs secure/confident

20 Original Study We created a list of eighty adjectives which have often been used to describe mathematical proofs.

21 Original Study We created a list of eighty adjectives which have often been used to describe mathematical proofs. Each had more than 250 hits on Google for adjective proof and mathematics.

22 Original Study We created a list of eighty adjectives which have often been used to describe mathematical proofs. Each had more than 250 hits on Google for adjective proof and mathematics. For example: 21,000 webpages contained the phrase conceptual proof and mathematics ; 1290 contained the phrase obscure proof and mathematics.

23 Eighty Adjectives definitive clear simple rigorous strong striking general non-trivial elegant obvious practical trivial intuitive natural conceptual abstract efficient careful effective incomplete precise useful beautiful minimal unambiguous accurate tedious ambitious elaborate weak ingenious clever applicable robust sharp intricate loose pleasing sketchy dull innovative cute worthless explanatory plausible illustrative creative insightful deep profound awful ugly speculative confusing dense expository lucid obscure delicate meticulous subtle clumsy flimsy informative crude appealing careless enlightening inspired bold polished charming unpleasant sublime awkward exploratory inefficient shallow fruitful disgusting

24 Empirical Work Participants were 255 research mathematicians based in US universities (follow-up studies with British, Irish and Australian participants give similar results).

25 Empirical Work Participants were 255 research mathematicians based in US universities (follow-up studies with British, Irish and Australian participants give similar results). Asked to participate by via their department secretaries.

26 Empirical Work Participants were 255 research mathematicians based in US universities (follow-up studies with British, Irish and Australian participants give similar results). Asked to participate by via their department secretaries. Participants asked to pick a proof they d recently read or refereed and to state how accurately each of our 80 adjectives described it.

27 Empirical Work Empirical Work We then asked 255 mathematicians to pick a proof that they d recently read or refereed and to rate how well each adjective described it (5 point scale from very inaccurate to very accurate ). Participants were US-based research mathematicians contacted by through their departments.

28 Analysis Component 2 seemed to be those words with low ratings.

29 Analysis Analysis We correlated each word s loadings on Component 2 with its mean We rating correlated on the five-point each scale. word s loadings on Suggests that Component Component 2 2 was just a measure of with its mean non-use. rating on the In other words, five-point mathematicians scale. tend not to think that mathematical proofs are crude, careless, shallow or flimsy. Loading on Component r = Mean Rating (1-5)

30 Four Factors striking ingenious inspired profound creative deep sublime innovative beautiful elegant charming clever bold appealing pleasing enlightening ambitious delicate insightful strong

31 Four Factors striking ingenious inspired profound creative deep sublime innovative beautiful elegant charming clever bold appealing pleasing enlightening ambitious delicate insightful strong Aesthetics

32 Four Factors striking ingenious inspired profound creative deep sublime innovative beautiful elegant charming clever bold appealing pleasing enlightening ambitious delicate insightful strong Aesthetics dense difficult intricate unpleasant confusing tedious not simple

33 Four Factors striking ingenious inspired profound creative deep sublime innovative beautiful elegant charming clever bold appealing pleasing enlightening ambitious delicate insightful strong Aesthetics dense difficult intricate unpleasant confusing tedious not simple Intricacy

34 Four Factors striking ingenious inspired profound creative deep sublime innovative beautiful elegant charming clever bold appealing pleasing enlightening ambitious delicate insightful strong Aesthetics dense difficult intricate unpleasant confusing tedious not simple Intricacy precise careful meticulous rigorous accurate lucid clear

35 Four Factors striking ingenious inspired profound creative deep sublime innovative beautiful elegant charming clever bold appealing pleasing enlightening ambitious delicate insightful strong Aesthetics dense difficult intricate unpleasant confusing tedious not simple Intricacy precise careful meticulous rigorous accurate lucid clear Precision

36 Four Factors striking ingenious inspired profound creative deep sublime innovative beautiful elegant charming clever bold appealing pleasing enlightening ambitious delicate insightful strong Aesthetics dense difficult intricate unpleasant confusing tedious not simple Intricacy precise careful meticulous rigorous accurate lucid clear Precision practical efficient applicable informative useful

37 Four Factors striking ingenious inspired profound creative deep sublime innovative beautiful elegant charming clever bold appealing pleasing enlightening ambitious delicate insightful strong Aesthetics dense difficult intricate unpleasant confusing tedious not simple Intricacy precise careful meticulous rigorous accurate lucid clear Precision practical efficient applicable informative useful Utility

38 Short Scale ingenious inspired profound striking careless crude flimsy shallow dense difficult intricate unpleasant careful meticulous precise rigorous applicable efficient informative practical Aesthetics Non-Use Intricacy Precision Utility

39 Short Scale ingenious inspired profound striking careless crude flimsy shallow dense difficult intricate not simple careful meticulous precise rigorous applicable useful informative practical Aesthetics Non-Use Intricacy Precision Utility

40 Empirical Semantics and the Oslo Group I think that even superficial questioning of nonphilosophers makes it hard for anyone to believe that the philosopher has got his knowledge about peasants and others use of the word true or about the views of nonphilosophers on the notion of truth by asking any other person than himself. Arne Naess, 1938, Common sense and truth, Theoria, 4.

41 Empirical Semantics and the Oslo Group I think that even superficial questioning of nonphilosophers makes it hard for anyone to believe that the philosopher has got his knowledge about peasants and others use of the word true or about the views of nonphilosophers on the notion of truth by asking any other person than himself. Arne Naess, 1938, Common sense and truth, Theoria, 4. The analyst or investigator makes a single subject, namely himself, object of an investigation and records the ideas immediately. The analysis might also include a criticism (unfavourable) of the accessible or potential, but frequently less successful attempts of other authors. Or the analyst may back up his hypotheses of usage by quotations which may be interpreted in such away that they directly or indirectly are supporting his ideas. Herman Tönnessen, 1951, The fight against revelation in semantical studies, Synthese, 8.

42 Exemplar Philosophers Step 1: Offer an example of a proof or a mathematical object

43 Exemplar Philosophers Step 1: Offer an example of a proof or a mathematical object Step 2: Assert that the proof or object has a given property

44 Exemplar Philosophers Step 1: Offer an example of a proof or a mathematical object Step 2: Assert that the proof or object has a given property Step 3: Appeal to the readers intuitions for agreement

45 Exemplar Philosophers Step 1: Offer an example of a proof or a mathematical object Step 2: Assert that the proof or object has a given property Step 3: Appeal to the readers intuitions for agreement

46 Exemplar Philosophers Step 1: Offer an example of a proof or a mathematical object Step 2: Assert that the proof or object has a given property Step 3: Appeal to the readers intuitions for agreement A final example of an explanatory proof Our examples of explanation in mathematics are all analyzable this way. Steiner, 1978, Mathematical explanation, Philosophical Studies, 34. we wish to propose a proof that meets Steiner s criterion but doesn t explain and one which ought to explain if any proof does but fails to meet Steiner s criterion. Resnik & Kushner, 1987, Explanation, independence and realism in mathematics, British Journal of the Philosophy of Science, 38.

47 A Proof from The Book Theorem. In any configuration of n points in the plane, not all on a line, there is a line which contains exactly two of the points. Proof. Let P be the given set of points and consider the set L of all lines which pass through at least two points of P. Among all pairs (P, l) with P not on l, choose a pair (P 0, l 0 ) such that P 0 has the smallest distance to l 0, with Q being the point on l 0 closest to P 0 (that is, on the line through P 0 vertical to l 0 ). l 1 P 0 Claim: This line l 0 does it! l 0 If not, then l 0 contains at least three points of P, and thus two of them, say P 1 and P 2, lie on the same side of Q. Let us assume that P 1 lies between Q and P 2, where P 1 possibly coincides with Q. The figure below shows the configuration. It follows that the distance of P 1 to the line l 1 determined by P 0 and P 2 is smaller than the distance of P 0 to l 0, and this contradicts our choice for l 0 and P 0. Q P 1 P 2

48 How participants rated the proof on the four dimensions Frequency Aesthetics Intricacy Precision Utility Score (4 to 20)

49 Clusters Mean Score (4 to 20) Aesthetics Intricacy Precision Utility 4 Cluster 1 Cluster 2 Cluster 3 Cluster The mean ratings on each dimension of the three clusters. Error bars show ±1 SE of the mean.

50 Conclusions Mathematical proofs have personalities.

51 Conclusions Mathematical proofs have personalities. They can be characterized, roughly speaking, with four dimensions.

52 Conclusions Mathematical proofs have personalities. They can be characterized, roughly speaking, with four dimensions. There was no between-mathematician agreement on any dimension for the proof we investigated.

53 Conclusions Mathematical proofs have personalities. They can be characterized, roughly speaking, with four dimensions. There was no between-mathematician agreement on any dimension for the proof we investigated. Exemplar philosophers rely upon their own intuitions or those of individual mathematicians about the qualities of proofs.

54 Conclusions Mathematical proofs have personalities. They can be characterized, roughly speaking, with four dimensions. There was no between-mathematician agreement on any dimension for the proof we investigated. Exemplar philosophers rely upon their own intuitions or those of individual mathematicians about the qualities of proofs. There is no empirical support that there is a consensus behind these intuitions

55 Future Work Comparison of two proofs.

56 Future Work Comparison of two proofs. Non-mathematical aesthetic appraisal.

57 Future Work Comparison of two proofs. Non-mathematical aesthetic appraisal. Other languages?

58 Diversity in Proof Appraisal Matthew Inglis and Andrew Aberdein Mathematics Education Centre Loughborough University homepages.lboro.ac.uk/ mamji School of Arts & Communication Florida Institute of Technology my.fit.edu/ aberdein Buffalo Annual Experimental Philosophy Conference, September 19, 2014

Beauty Is Not Simplicity: An Analysis of Mathematicians Proof Appraisals

Beauty Is Not Simplicity: An Analysis of Mathematicians Proof Appraisals 87 109 10.1093/philmat/nku014 Philosophia Mathematica Advance Access publication July 25, 2014 Beauty Is Not Simplicity: An Analysis of Mathematicians Proof Appraisals Matthew Inglis and Andrew Aberdein

More information

Partitioning a Proof: An Exploratory Study on Undergraduates Comprehension of Proofs

Partitioning a Proof: An Exploratory Study on Undergraduates Comprehension of Proofs Partitioning a Proof: An Exploratory Study on Undergraduates Comprehension of Proofs Eyob Demeke David Earls California State University, Los Angeles University of New Hampshire In this paper, we explore

More information

Validity. What Is It? Types We Will Discuss. The degree to which an inference from a test score is appropriate or meaningful.

Validity. What Is It? Types We Will Discuss. The degree to which an inference from a test score is appropriate or meaningful. Validity 4/8/2003 PSY 721 Validity 1 What Is It? The degree to which an inference from a test score is appropriate or meaningful. A test may be valid for one application but invalid for an another. A test

More information

What Can Experimental Philosophy Do? David Chalmers

What Can Experimental Philosophy Do? David Chalmers What Can Experimental Philosophy Do? David Chalmers Cast of Characters X-Phi: Experimental Philosophy E-Phi: Empirical Philosophy A-Phi: Armchair Philosophy Challenges to Experimental Philosophy Empirical

More information

Chapter 1 Overview of Music Theories

Chapter 1 Overview of Music Theories Chapter 1 Overview of Music Theories The title of this chapter states Music Theories in the plural and not the singular Music Theory or Theory of Music. Probably no single theory will ever cover the enormous

More information

Necessity in Kant; Subjective and Objective

Necessity in Kant; Subjective and Objective Necessity in Kant; Subjective and Objective DAVID T. LARSON University of Kansas Kant suggests that his contribution to philosophy is analogous to the contribution of Copernicus to astronomy each involves

More information

Social Mechanisms and Scientific Realism: Discussion of Mechanistic Explanation in Social Contexts Daniel Little, University of Michigan-Dearborn

Social Mechanisms and Scientific Realism: Discussion of Mechanistic Explanation in Social Contexts Daniel Little, University of Michigan-Dearborn Social Mechanisms and Scientific Realism: Discussion of Mechanistic Explanation in Social Contexts Daniel Little, University of Michigan-Dearborn The social mechanisms approach to explanation (SM) has

More information

Sense and soundness of thought as a biochemical process Mahmoud A. Mansour

Sense and soundness of thought as a biochemical process Mahmoud A. Mansour Sense and soundness of thought as a biochemical process Mahmoud A. Mansour August 17,2015 Abstract A biochemical model is suggested for how the mind/brain might be modelling objects of thought in analogy

More information

On The Search for a Perfect Language

On The Search for a Perfect Language On The Search for a Perfect Language Submitted to: Peter Trnka By: Alex Macdonald The correspondence theory of truth has attracted severe criticism. One focus of attack is the notion of correspondence

More information

Elegant Essay Checklists

Elegant Essay Checklists Steps to Writing an Informative or Descriptive Essay A (Outlining and writing by section) 1. Think and Brainstorm chart. Develop a thesis using the Thesis Checklist. 2. Outline and Write Outline the body

More information

1/8. Axioms of Intuition

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 information

The Power of Ideas: Milton Friedman s Empirical Methodology

The Power of Ideas: Milton Friedman s Empirical Methodology The Power of Ideas: Milton Friedman s Empirical Methodology University of Chicago Milton Friedman and the Power of Ideas: Celebrating the Friedman Centennial Becker Friedman Institute November 9, 2012

More information

PHL 317K 1 Fall 2017 Overview of Weeks 1 5

PHL 317K 1 Fall 2017 Overview of Weeks 1 5 PHL 317K 1 Fall 2017 Overview of Weeks 1 5 We officially started the class by discussing the fact/opinion distinction and reviewing some important philosophical tools. A critical look at the fact/opinion

More information

IF MONTY HALL FALLS OR CRAWLS

IF 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 information

Criterion A: Understanding knowledge issues

Criterion 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 information

Scientific Philosophy

Scientific 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 information

PHI 3240: Philosophy of Art

PHI 3240: Philosophy of Art PHI 3240: Philosophy of Art Session 5 September 16 th, 2015 Malevich, Kasimir. (1916) Suprematist Composition. Gaut on Identifying Art Last class, we considered Noël Carroll s narrative approach to identifying

More information

that would join theoretical philosophy (metaphysics) and practical philosophy (ethics)?

that would join theoretical philosophy (metaphysics) and practical philosophy (ethics)? Kant s Critique of Judgment 1 Critique of judgment Kant s Critique of Judgment (1790) generally regarded as foundational treatise in modern philosophical aesthetics no integration of aesthetic theory into

More information

AREA OF KNOWLEDGE: MATHEMATICS

AREA OF KNOWLEDGE: MATHEMATICS AREA OF KNOWLEDGE: MATHEMATICS Introduction Mathematics: the rational mind is at work. When most abstracted from the world, mathematics stands apart from other areas of knowledge, concerned only with its

More information

AP Studio Art 2006 Scoring Guidelines

AP Studio Art 2006 Scoring Guidelines AP Studio Art 2006 Scoring Guidelines The College Board: Connecting Students to College Success The College Board is a not-for-profit membership association whose mission is to connect students to college

More information

Ontology as a formal one. The language of ontology as the ontology itself: the zero-level language

Ontology as a formal one. The language of ontology as the ontology itself: the zero-level language Ontology as a formal one The language of ontology as the ontology itself: the zero-level language Vasil Penchev Bulgarian Academy of Sciences: Institute for the Study of Societies and Knowledge: Dept of

More information

A MATHEMATICIAN S APOLOGY Reviewed by: R Ramanujam

A MATHEMATICIAN S APOLOGY Reviewed by: R Ramanujam Review of G H Hardy s Review A MATHEMATICIAN S APOLOGY Reviewed by: R Ramanujam R RAMANUJAM Why an apology? G. H. Hardy (877 947), a mathematician known for his deep contributions to Analysis and Number

More information

SAMPLE COURSE OUTLINE PHILOSOPHY AND ETHICS GENERAL YEAR 12

SAMPLE COURSE OUTLINE PHILOSOPHY AND ETHICS GENERAL YEAR 12 SAMPLE COURSE OUTLINE PHILOSOPHY AND ETHICS GENERAL YEAR 12 Copyright School Curriculum and Standards Authority, 2015 This document apart from any third party copyright material contained in it may be

More information

a shopkeeper (do not accept councillor on its own)

a shopkeeper (do not accept councillor on its own) Questions: 1. What is Mr Evans occupation? (1) a shopkeeper (do not accept councillor on its own) 2. Which word from the list below best describes Carrie and Nick s feelings towards Mr Evans in paragraph

More information

Glossary of Rhetorical Terms*

Glossary of Rhetorical Terms* Glossary of Rhetorical Terms* Analyze To divide something into parts in order to understand both the parts and the whole. This can be done by systems analysis (where the object is divided into its interconnected

More information

The Importance of Surprise in Mathematical Beauty

The Importance of Surprise in Mathematical Beauty Journal of Humanistic Mathematics Volume 6 Issue 1 January 2016 The Importance of Surprise in Mathematical Beauty V. Rani Satyam Michigan State University, satyamvi@msu.edu Follow this and additional works

More information

INTERNATIONAL 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 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 information

Review. 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. 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 information

Francis Bacon, Prerogative Instances, and Argumentation Scheme

Francis Bacon, Prerogative Instances, and Argumentation Scheme Francis Bacon, Prerogative Instances, and Argumentation Schemes Humanities and Communication, Florida Institute of Technology, 150 West University Blvd, Melbourne, Florida 32901-6975, U.S.A. my.fit.edu/

More information

MIRA COSTA HIGH SCHOOL English Department Writing Manual TABLE OF CONTENTS. 1. Prewriting Introductions 4. 3.

MIRA COSTA HIGH SCHOOL English Department Writing Manual TABLE OF CONTENTS. 1. Prewriting Introductions 4. 3. MIRA COSTA HIGH SCHOOL English Department Writing Manual TABLE OF CONTENTS 1. Prewriting 2 2. Introductions 4 3. Body Paragraphs 7 4. Conclusion 10 5. Terms and Style Guide 12 1 1. Prewriting Reading and

More information

VISUALISATION AND PROOF: A BRIEF SURVEY

VISUALISATION AND PROOF: A BRIEF SURVEY VISUALISATION AND PROOF: A BRIEF SURVEY Gila Hanna & Nathan Sidoli Ontario Institute for Studies in Education/University of Toronto The contribution of visualisation to mathematics and to mathematics education

More information

2 nd Int. Conf. CiiT, Molika, Dec CHAITIN ARTICLES

2 nd Int. Conf. CiiT, Molika, Dec CHAITIN ARTICLES 2 nd Int. Conf. CiiT, Molika, 20-23.Dec.2001 93 CHAITIN ARTICLES D. Gligoroski, A. Dimovski Institute of Informatics, Faculty of Natural Sciences and Mathematics, Sts. Cyril and Methodius University, Arhimedova

More information

Faceted classification as the basis of all information retrieval. A view from the twenty-first century

Faceted classification as the basis of all information retrieval. A view from the twenty-first century Faceted classification as the basis of all information retrieval A view from the twenty-first century The Classification Research Group Agenda: in the 1950s the Classification Research Group was formed

More information

Penultimate draft of a review which will appear in History and Philosophy of. $ ISBN: (hardback); ISBN:

Penultimate draft of a review which will appear in History and Philosophy of. $ ISBN: (hardback); ISBN: Penultimate draft of a review which will appear in History and Philosophy of Logic, DOI 10.1080/01445340.2016.1146202 PIERANNA GARAVASO and NICLA VASSALLO, Frege on Thinking and Its Epistemic Significance.

More information

Bas C. van Fraassen, Scientific Representation: Paradoxes of Perspective, Oxford University Press, 2008.

Bas C. van Fraassen, Scientific Representation: Paradoxes of Perspective, Oxford University Press, 2008. Bas C. van Fraassen, Scientific Representation: Paradoxes of Perspective, Oxford University Press, 2008. Reviewed by Christopher Pincock, Purdue University (pincock@purdue.edu) June 11, 2010 2556 words

More information

WHY IS BEAUTY A ROAD TO THE TRUTH? 1. Introduction

WHY IS BEAUTY A ROAD TO THE TRUTH? 1. Introduction Paul Thagard WHY IS BEAUTY A ROAD TO THE TRUTH? ABSTRACT. This paper discusses Theo Kuipers account of beauty and truth. It challenges Kuipers psychological account of how scientists come to appreciate

More information

Emotional AI for Expanding Worlds. Stéphane Bura

Emotional AI for Expanding Worlds. Stéphane Bura Emotional AI for Expanding Worlds Stéphane Bura Emotional AI for Expanding Worlds Stéphane Bura + EXPRESSIVENESS SCALABILITY EXPRESSIVENESS ? SPEECH I U I U = I U U I = I U U I = ACTION U I U

More information

TEST BANK. Chapter 1 Historical Studies: Some Issues

TEST BANK. Chapter 1 Historical Studies: Some Issues TEST BANK Chapter 1 Historical Studies: Some Issues 1. As a self-conscious formal discipline, psychology is a. about 300 years old. * b. little more than 100 years old. c. only 50 years old. d. almost

More information

Domains of Inquiry (An Instrumental Model) and the Theory of Evolution. American Scientific Affiliation, 21 July, 2012

Domains of Inquiry (An Instrumental Model) and the Theory of Evolution. American Scientific Affiliation, 21 July, 2012 Domains of Inquiry (An Instrumental Model) and the Theory of Evolution 1 American Scientific Affiliation, 21 July, 2012 1 What is science? Why? How certain can we be of scientific theories? Why do so many

More information

General Educational Development (GED ) Objectives 8 10

General Educational Development (GED ) Objectives 8 10 Language Arts, Writing (LAW) Level 8 Lessons Level 9 Lessons Level 10 Lessons LAW.1 Apply basic rules of mechanics to include: capitalization (proper names and adjectives, titles, and months/seasons),

More information

Communities of Logical Practice

Communities of Logical Practice Specimen Humanities and Communication, Florida Institute of Technology, 150 West University Blvd, Melbourne, Florida 32901-6975, U.S.A. my.fit.edu/ aberdein aberdein@fit.edu Practice-Based Philosophy of

More information

Perception and Mind-Dependence Lecture 3

Perception and Mind-Dependence Lecture 3 Perception and Mind-Dependence Lecture 3 1 This Week Goals: (a) To consider, and reject, the Sense-Datum Theorist s attempt to save Common-Sense Realism by making themselves Indirect Realists. (b) To undermine

More information

Social conditions affect our perceptions, our actions, and our relationships.

Social conditions affect our perceptions, our actions, and our relationships. You MUST do number 1 for 60 points. Then choose TWO of numbers 2-7 for 20 points each. Harrison Bergeron, Lamb to Slaughter, By the Waters of Babylon, Where Have You Gone, Charming Billy, A Separate Peace

More information

Library Assignment #2: Periodical Literature

Library Assignment #2: Periodical Literature Library Assignment #2: Periodical Literature Provide research summaries of ten papers on the history of mathematics (both words are crucial) that you have looked up and read. One purpose for doing this

More information

Notes on mathematical writing

Notes on mathematical writing Notes on mathematical writing Clark Barwick Some points of style merely embody hoary aesthetics or clique membership; accordingly, their discussion is borne of orthodoxy or snobbery qualities altogether

More information

202 In the Labyrinths of Language

202 In the Labyrinths of Language Chapter 9 Epilogue 1 want to remind the reader that this book is only an extended essay. It is not to he regarded as a definitive monograph. Languages which are well known to me have been considered at

More information

Creative Actualization: A Meliorist Theory of Values

Creative Actualization: A Meliorist Theory of Values Book Review Creative Actualization: A Meliorist Theory of Values Nate Jackson Hugh P. McDonald, Creative Actualization: A Meliorist Theory of Values. New York: Rodopi, 2011. xxvi + 361 pages. ISBN 978-90-420-3253-8.

More information

arxiv: v1 [math.ho] 22 Nov 2017

arxiv: v1 [math.ho] 22 Nov 2017 THE UNIVERSAL AESTHETICS OF MATHEMATICS SAMUEL G. B. JOHNSON AND STEFAN STEINERBERGER arxiv:7.08376v [math.ho] 22 Nov 207 Abstract. The unique and beautiful character of certain mathematical results and

More information

124 Philosophy of Mathematics

124 Philosophy of Mathematics From Plato to Christian Wüthrich http://philosophy.ucsd.edu/faculty/wuthrich/ 124 Philosophy of Mathematics Plato (Πλάτ ων, 428/7-348/7 BCE) Plato on mathematics, and mathematics on Plato Aristotle, the

More information

Visualizing Euclidean Rhythms Using Tangle Theory

Visualizing Euclidean Rhythms Using Tangle Theory POLYMATH: AN INTERDISCIPLINARY ARTS & SCIENCES JOURNAL Visualizing Euclidean Rhythms Using Tangle Theory Jonathon Kirk, North Central College Neil Nicholson, North Central College Abstract Recently there

More information

AESTHETICS. Students will appreciate the variety of human experiences as expressed through the arts.

AESTHETICS. Students will appreciate the variety of human experiences as expressed through the arts. AESTHETICS Students will appreciate the variety of human experiences as expressed through the arts. From the Creative Thinking VALUE Rubric framing language: Creative thinking in higher education can only

More information

Expressive information

Expressive information Expressive information 1. Emotions 2. Laban Effort space (gestures) 3. Kinestetic space (music performance) 4. Performance worm 5. Action based metaphor 1 Motivations " In human communication, two channels

More information

From Pythagoras to the Digital Computer: The Intellectual Roots of Symbolic Artificial Intelligence

From Pythagoras to the Digital Computer: The Intellectual Roots of Symbolic Artificial Intelligence From Pythagoras to the Digital Computer: The Intellectual Roots of Symbolic Artificial Intelligence Volume I of Word and Flux: The Discrete and the Continuous In Computation, Philosophy, and Psychology

More information

Mathematicians Versus Philosophers in Recent Work on Mathematical Beauty

Mathematicians Versus Philosophers in Recent Work on Mathematical Beauty Journal of Humanistic Mathematics Volume 8 Issue 1 January 2018 Mathematicians Versus Philosophers in Recent Work on Mathematical Beauty Viktor Blåsjö Utrecht University Follow this and additional works

More information

Scholarly Paper Publication

Scholarly Paper Publication In the Name of Allah, the Compassionate, the Merciful Scholarly Paper Publication Seyyed Mohammad Hasheminejad, Acoustics Research Lab Mechanical Engineering Department, Iran University of Science & Technology

More information

Primes and Composites

Primes and Composites Primes and Composites The positive integers stand there, a continual and inevitable challenge to the curiosity of every healthy mind. It will be another million years, at least, before we understand the

More information

Publishing a Journal Article

Publishing a Journal Article Publishing a Journal Article Akhlesh Lakhtakia Pennsylvania State University There is no tried and tested way of publishing solid journal articles that works for everyone and in every discipline or subdiscipline.

More information

CONTINGENCY AND TIME. Gal YEHEZKEL

CONTINGENCY 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 information

Logic and Philosophy of Science (LPS)

Logic 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 information

mcs 2015/5/18 1:43 page 15 #23

mcs 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 information

SAS High School. 6 Traits Writing Rubric. Ideas Organization Voice. 6 Thoughtful structure guides reader through text

SAS High School. 6 Traits Writing Rubric. Ideas Organization Voice. 6 Thoughtful structure guides reader through text 6 Traits Writing Rubric Ideas Organization Voice 6 Clear, focused, and compelling holds reader s attention Marked by insight, in-depth understanding of topic Takes reader on a journey of understanding

More information

Incommensurability and the Bonfire of the Meta-Theories: Response to Mizrahi Lydia Patton, Virginia Tech

Incommensurability and the Bonfire of the Meta-Theories: Response to Mizrahi Lydia Patton, Virginia Tech Incommensurability and the Bonfire of the Meta-Theories: Response to Mizrahi Lydia Patton, Virginia Tech What is Taxonomic Incommensurability? Moti Mizrahi states Kuhn s thesis of taxonomic incommensurability

More information

Is There Anything Wrong with Thomas Kuhn? Markus Arnold, University of Klagenfurt

Is There Anything Wrong with Thomas Kuhn? Markus Arnold, University of Klagenfurt http://social-epistemology.com ISSN: 2471-9560 Is There Anything Wrong with Thomas Kuhn? Markus Arnold, University of Klagenfurt Arnold, Markus. Is There Anything Wrong with Thomas Kuhn?. Social Epistemology

More information

The Shimer School Core Curriculum

The Shimer School Core Curriculum Basic Core Studies The Shimer School Core Curriculum Humanities 111 Fundamental Concepts of Art and Music Humanities 112 Literature in the Ancient World Humanities 113 Literature in the Modern World Social

More information

A Functional Representation of Fuzzy Preferences

A 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 information

Cultural adaptation in mathematics and physics. Frank Quinn

Cultural adaptation in mathematics and physics. Frank Quinn Cultural adaptation in mathematics and physics Frank Quinn Abstract The thesis is that the organization, attitudes, and customs of a scientific discipline are strongly influenced by the nature of the subject

More information

Louis Althusser, What is Practice?

Louis Althusser, What is Practice? Louis Althusser, What is Practice? The word practice... indicates an active relationship with the real. Thus one says of a tool that it is very practical when it is particularly well adapted to a determinate

More information

Mind, Thinking and Creativity

Mind, Thinking and Creativity Mind, Thinking and Creativity Panel Intervention #1: Analogy, Metaphor & Symbol Panel Intervention #2: Way of Knowing Intervention #1 Analogies and metaphors are to be understood in the context of reflexio

More information

arxiv: v1 [math.ho] 15 Apr 2015

arxiv: v1 [math.ho] 15 Apr 2015 WHAT TO DO TO HAVE YOUR PAPER REJECTED! MOHAMMAD SAL MOSLEHIAN 1 AND RAHIM ZAARE-NAHANDI 2 arxiv:1504.03789v1 [math.ho] 15 Apr 2015 Abstract. We aim to highlight certain points and considerations f graduate

More information

Review of David Woodruff Smith and Amie L. Thomasson, eds., Phenomenology and the Philosophy of Mind, 2005, Oxford University Press.

Review of David Woodruff Smith and Amie L. Thomasson, eds., Phenomenology and the Philosophy of Mind, 2005, Oxford University Press. Review of David Woodruff Smith and Amie L. Thomasson, eds., Phenomenology and the Philosophy of Mind, 2005, Oxford University Press. Australasian Journal of Philosophy 84 (4) 640-642, December 2006 Michael

More information

Tradeoffs in information graphics 1. Andrew Gelman 2 and Antony Unwin Oct 2012

Tradeoffs in information graphics 1. Andrew Gelman 2 and Antony Unwin Oct 2012 Tradeoffs in information graphics 1 Andrew Gelman 2 and Antony Unwin 3 27 Oct 2012 The visual display of quantitative information (to use Edward Tufte s wonderful term) is a diverse field or set of fields,

More information

SAMPLE COURSE OUTLINE PHILOSOPHY AND ETHICS ATAR YEAR 11

SAMPLE COURSE OUTLINE PHILOSOPHY AND ETHICS ATAR YEAR 11 SAMPLE COURSE OUTLINE PHILOSOPHY AND ETHICS ATAR YEAR 11 Copyright School Curriculum and Standards Authority, 2014 This document apart from any third party copyright material contained in it may be freely

More information

NON-EXAMPLES AND PROOF BY CONTRADICTION

NON-EXAMPLES AND PROOF BY CONTRADICTION NON-EXAMPLES AND PROOF BY CONTRADICTION Samuele Antonini Department of Mathematics - University of Pisa, Italy Researches in Mathematics Education about proof by contradiction revealed some difficulties

More information

Misc Fiction Irony Point of view Plot time place social environment

Misc Fiction Irony Point of view Plot time place social environment Misc Fiction 1. is the prevailing atmosphere or emotional aura of a work. Setting, tone, and events can affect the mood. In this usage, mood is similar to tone and atmosphere. 2. is the choice and use

More information

A perceptual study on face design for Moe characters in Cool Japan contents

A perceptual study on face design for Moe characters in Cool Japan contents KEER2014, LINKÖPING JUNE 11-13 2014 INTERNATIONAL CONFERENCE ON KANSEI ENGINEERING AND EMOTION RESEARCH A perceptual study on face design for Moe characters in Cool Japan contents Yuki Wada 1, Ryo Yoneda

More information

Permutations of the Octagon: An Aesthetic-Mathematical Dialectic

Permutations 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 information

Visualisation and proof: a brief survey of philosophical perspectives

Visualisation and proof: a brief survey of philosophical perspectives ZDM Mathematics Education (2007) 39:73 78 DOI 10.1007/s11858-006-0005-0 ORIGINAL ARTICLE Visualisation and proof: a brief survey of philosophical perspectives Gila Hanna Æ Nathan Sidoli Accepted: 29 November

More information

The Polish Peasant in Europe and America. W. I. Thomas and Florian Znaniecki

The Polish Peasant in Europe and America. W. I. Thomas and Florian Znaniecki 1 The Polish Peasant in Europe and America W. I. Thomas and Florian Znaniecki Now there are two fundamental practical problems which have constituted the center of attention of reflective social practice

More information

Categories and Schemata

Categories and Schemata Res Cogitans Volume 1 Issue 1 Article 10 7-26-2010 Categories and Schemata Anthony Schlimgen Creighton University Follow this and additional works at: http://commons.pacificu.edu/rescogitans Part of the

More information

What is Character? David Braun. University of Rochester. In "Demonstratives", David Kaplan argues that indexicals and other expressions have a

What 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 information

Audio Metering Measurements, Standards, and Practice (2 nd Edition) Eddy Bøgh Brixen

Audio Metering Measurements, Standards, and Practice (2 nd Edition) Eddy Bøgh Brixen Audio Metering Measurements, Standards, and Practice (2 nd Edition) Eddy Bøgh Brixen Some book reviews just about write themselves. Pick the highlights from the table of contents, make a few comments about

More information

The Effects of Web Site Aesthetics and Shopping Task on Consumer Online Purchasing Behavior

The Effects of Web Site Aesthetics and Shopping Task on Consumer Online Purchasing Behavior The Effects of Web Site Aesthetics and Shopping Task on Consumer Online Purchasing Behavior Cai, Shun The Logistics Institute - Asia Pacific E3A, Level 3, 7 Engineering Drive 1, Singapore 117574 tlics@nus.edu.sg

More information

ANALYSIS OF THE PREVAILING VIEWS REGARDING THE NATURE OF THEORY- CHANGE IN THE FIELD OF SCIENCE

ANALYSIS OF THE PREVAILING VIEWS REGARDING THE NATURE OF THEORY- CHANGE IN THE FIELD OF SCIENCE ANALYSIS OF THE PREVAILING VIEWS REGARDING THE NATURE OF THEORY- CHANGE IN THE FIELD OF SCIENCE Jonathan Martinez Abstract: One of the best responses to the controversial revolutionary paradigm-shift theory

More information

The 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.

The 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 information

2 nd Grade Visual Arts Curriculum Essentials Document

2 nd Grade Visual Arts Curriculum Essentials Document 2 nd Grade Visual Arts Curriculum Essentials Document Boulder Valley School District Department of Curriculum and Instruction February 2012 Introduction The Boulder Valley Elementary Visual Arts Curriculum

More information

The Virtues of Argument

The Virtues of Argument Florida Institute of Technology aberdein@fit.edu my.fit.edu/~aberdein Joint Session, University of Bristol, 8th July 2007 Aristotle s Moral Virtues Irascibility Gentleness Spiritlessness Rashness Courage

More information

Mrs. Katherine Horan Humanities English 9

Mrs. Katherine Horan Humanities English 9 June 2012 Dear Class of 2016 Student, Congratulations on your admission to the Humanities House! We are so excited to welcome you to the program, and we look forward to working with you and watching you

More information

SocioBrains THE INTEGRATED APPROACH TO THE STUDY OF ART

SocioBrains THE INTEGRATED APPROACH TO THE STUDY OF ART THE INTEGRATED APPROACH TO THE STUDY OF ART Tatyana Shopova Associate Professor PhD Head of the Center for New Media and Digital Culture Department of Cultural Studies, Faculty of Arts South-West University

More information

Credibility and the Continuing Struggle to Find Truth. We consume a great amount of information in our day-to-day lives, whether it is

Credibility and the Continuing Struggle to Find Truth. We consume a great amount of information in our day-to-day lives, whether it is 1 Tonka Lulgjuraj Lulgjuraj Professor Hugh Culik English 1190 10 October 2012 Credibility and the Continuing Struggle to Find Truth We consume a great amount of information in our day-to-day lives, whether

More information

Ian Parberry y. University of North Texas. July 31, 1994

Ian Parberry y. University of North Texas. July 31, 1994 AForm for Referees in Theoretical Computer Science æ Ian Parberry y Department of Computer Sciences University of North Texas July 31, 1994 1 Introduction The Referee's Form is designed to help referees

More information

Impact of the Fundamental Tension between Poetic Craft and the Scientific Principles which Lucretius Introduces in De Rerum Natura

Impact of the Fundamental Tension between Poetic Craft and the Scientific Principles which Lucretius Introduces in De Rerum Natura JoHanna Przybylowski 21L.704 Revision of Assignment #1 Impact of the Fundamental Tension between Poetic Craft and the Scientific Principles which Lucretius Introduces in De Rerum Natura In his didactic

More information

Are There Two Theories of Goodness in the Republic? A Response to Santas. Rachel Singpurwalla

Are There Two Theories of Goodness in the Republic? A Response to Santas. Rachel Singpurwalla Are There Two Theories of Goodness in the Republic? A Response to Santas Rachel Singpurwalla It is well known that Plato sketches, through his similes of the sun, line and cave, an account of the good

More information

Practical Intuition and Rhetorical Example. Paul Schollmeier

Practical Intuition and Rhetorical Example. Paul Schollmeier Practical Intuition and Rhetorical Example Paul Schollmeier I Let us assume with the classical philosophers that we have a faculty of theoretical intuition, through which we intuit theoretical principles,

More information

Caught in the Middle. Philosophy of Science Between the Historical Turn and Formal Philosophy as Illustrated by the Program of Kuhn Sneedified

Caught in the Middle. Philosophy of Science Between the Historical Turn and Formal Philosophy as Illustrated by the Program of Kuhn Sneedified Caught in the Middle. Philosophy of Science Between the Historical Turn and Formal Philosophy as Illustrated by the Program of Kuhn Sneedified Christian Damböck Institute Vienna Circle University of Vienna

More information

Logic. Andrew Mark Allen March 4, 2012

Logic. Andrew Mark Allen March 4, 2012 Logic Andrew Mark Allen - 05370299 March 4, 2012 Abstract NAND gates and inverters were used to construct several different logic gates whose operations were investigate under various inputs. Then the

More information

A Letter from Louis Althusser on Gramsci s Thought

A Letter from Louis Althusser on Gramsci s Thought Décalages Volume 2 Issue 1 Article 18 July 2016 A Letter from Louis Althusser on Gramsci s Thought Louis Althusser Follow this and additional works at: http://scholar.oxy.edu/decalages Recommended Citation

More information

Here s a question for you: What happens if we try to go the other way? For instance:

Here s a question for you: What happens if we try to go the other way? For instance: Prime Numbers It s pretty simple to multiply two numbers and get another number. Here s a question for you: What happens if we try to go the other way? For instance: With a little thinking remembering

More information

Resemblance Nominalism: A Solution to the Problem of Universals. GONZALO RODRIGUEZ-PEREYRA. Oxford: Clarendon Press, Pp. xii, 238.

Resemblance Nominalism: A Solution to the Problem of Universals. GONZALO RODRIGUEZ-PEREYRA. Oxford: Clarendon Press, Pp. xii, 238. The final chapter of the book is devoted to the question of the epistemological status of holistic pragmatism itself. White thinks of it as a thesis, a statement that may have been originally a very generalized

More information

Humanities as Narrative: Why Experiential Knowledge Counts

Humanities as Narrative: Why Experiential Knowledge Counts Humanities as Narrative: Why Experiential Knowledge Counts Natalie Gulsrud Global Climate Change and Society 9 August 2002 In an essay titled Landscape and Narrative, writer Barry Lopez reflects on the

More information

CHAPTER 2 THEORETICAL FRAMEWORK

CHAPTER 2 THEORETICAL FRAMEWORK CHAPTER 2 THEORETICAL FRAMEWORK 2.1 Poetry Poetry is an adapted word from Greek which its literal meaning is making. The art made up of poems, texts with charged, compressed language (Drury, 2006, p. 216).

More information