the sublime in maths and science - lmllml.org.uk/wp-content/uploads/2016/08/sublime... · the...
TRANSCRIPT
![Page 1: The Sublime in Maths and Science - LMLlml.org.uk/wp-content/uploads/2016/08/Sublime... · The Sublime in Maths and Science LML Summer School 2016 ... Immanuel Kant (1724-1804) •](https://reader034.vdocument.in/reader034/viewer/2022042117/5e94eb1e017cf216fd622b8e/html5/thumbnails/1.jpg)
The Sublime in Maths and Science
LML Summer School 2016 Isabella Froud
Supervisors: Nicholas Moloney and Charles Beauclerke
![Page 2: The Sublime in Maths and Science - LMLlml.org.uk/wp-content/uploads/2016/08/Sublime... · The Sublime in Maths and Science LML Summer School 2016 ... Immanuel Kant (1724-1804) •](https://reader034.vdocument.in/reader034/viewer/2022042117/5e94eb1e017cf216fd622b8e/html5/thumbnails/2.jpg)
Motivation
• Sublime has meaning in both mathematics and philosophy
• Are these descriptions referring to the same thing?
![Page 3: The Sublime in Maths and Science - LMLlml.org.uk/wp-content/uploads/2016/08/Sublime... · The Sublime in Maths and Science LML Summer School 2016 ... Immanuel Kant (1724-1804) •](https://reader034.vdocument.in/reader034/viewer/2022042117/5e94eb1e017cf216fd622b8e/html5/thumbnails/3.jpg)
Key Aims
• Understand the concept of a sublime experience in terms of philosophy
• Establish compatibility of mathematics with this concept
• Seek examples to corroborate findings
![Page 4: The Sublime in Maths and Science - LMLlml.org.uk/wp-content/uploads/2016/08/Sublime... · The Sublime in Maths and Science LML Summer School 2016 ... Immanuel Kant (1724-1804) •](https://reader034.vdocument.in/reader034/viewer/2022042117/5e94eb1e017cf216fd622b8e/html5/thumbnails/4.jpg)
History of the Sublime
• References date back to 1st century AD
• Found in literature, art, science and is studied in philosophy
• Philosophy tries to define a sublime experience
• Pleasure stemming from displeasure: awe and fear
![Page 5: The Sublime in Maths and Science - LMLlml.org.uk/wp-content/uploads/2016/08/Sublime... · The Sublime in Maths and Science LML Summer School 2016 ... Immanuel Kant (1724-1804) •](https://reader034.vdocument.in/reader034/viewer/2022042117/5e94eb1e017cf216fd622b8e/html5/thumbnails/5.jpg)
Immanuel Kant (1724-1804)
• Analysed the sublime in 1760 and 1794
• Logical and systematic
![Page 6: The Sublime in Maths and Science - LMLlml.org.uk/wp-content/uploads/2016/08/Sublime... · The Sublime in Maths and Science LML Summer School 2016 ... Immanuel Kant (1724-1804) •](https://reader034.vdocument.in/reader034/viewer/2022042117/5e94eb1e017cf216fd622b8e/html5/thumbnails/6.jpg)
Kant’s Aesthetics• Judgements without referral to a concept or prior
notion
• Beauty: purely pleasurable
• Dynamical Sublime: fearful of the power of nature, whilst being safe
• Mathematical Sublime: unable to comprehend magnitude, need to access a ‘super sensible faculty’ - Reason.
![Page 7: The Sublime in Maths and Science - LMLlml.org.uk/wp-content/uploads/2016/08/Sublime... · The Sublime in Maths and Science LML Summer School 2016 ... Immanuel Kant (1724-1804) •](https://reader034.vdocument.in/reader034/viewer/2022042117/5e94eb1e017cf216fd622b8e/html5/thumbnails/7.jpg)
Process of Judgement:
• Imagination ‘gives form’ to the sensory data, also called perception
• Understanding applies a rule if imagination succeeds
• Reason deals in principles, universals, totality
![Page 8: The Sublime in Maths and Science - LMLlml.org.uk/wp-content/uploads/2016/08/Sublime... · The Sublime in Maths and Science LML Summer School 2016 ... Immanuel Kant (1724-1804) •](https://reader034.vdocument.in/reader034/viewer/2022042117/5e94eb1e017cf216fd622b8e/html5/thumbnails/8.jpg)
Process of Judgement:
Sublime
Beautiful
![Page 9: The Sublime in Maths and Science - LMLlml.org.uk/wp-content/uploads/2016/08/Sublime... · The Sublime in Maths and Science LML Summer School 2016 ... Immanuel Kant (1724-1804) •](https://reader034.vdocument.in/reader034/viewer/2022042117/5e94eb1e017cf216fd622b8e/html5/thumbnails/9.jpg)
Mathematical Compatibility
• Non-aesthetic: refer to purpose of object during judgement
• Mathematical objects unable to be aesthetically judged
• Intellectual pleasure instead
![Page 10: The Sublime in Maths and Science - LMLlml.org.uk/wp-content/uploads/2016/08/Sublime... · The Sublime in Maths and Science LML Summer School 2016 ... Immanuel Kant (1724-1804) •](https://reader034.vdocument.in/reader034/viewer/2022042117/5e94eb1e017cf216fd622b8e/html5/thumbnails/10.jpg)
Beauty in Proofs - Angela Breitenbach (2013)
• Breitenbach argues Kant allows for beauty in mathematics
• Beauty is not in mathematical objects, or their properties
• BUT demonstration or proof of a property can be beautiful i.e. the judgement is aesthetic
![Page 11: The Sublime in Maths and Science - LMLlml.org.uk/wp-content/uploads/2016/08/Sublime... · The Sublime in Maths and Science LML Summer School 2016 ... Immanuel Kant (1724-1804) •](https://reader034.vdocument.in/reader034/viewer/2022042117/5e94eb1e017cf216fd622b8e/html5/thumbnails/11.jpg)
Two types of Infinity
• Potential: unbounded, limitless, accepted
• Actual: complete, whole, controversial
Image from: “Potential versus Completed Infinity: its history and controversy” - E. Schechter
![Page 12: The Sublime in Maths and Science - LMLlml.org.uk/wp-content/uploads/2016/08/Sublime... · The Sublime in Maths and Science LML Summer School 2016 ... Immanuel Kant (1724-1804) •](https://reader034.vdocument.in/reader034/viewer/2022042117/5e94eb1e017cf216fd622b8e/html5/thumbnails/12.jpg)
Using Infinities: Cantor
• Potential infinities relate to imagination failing to delimit
• Actual infinities relate to reason: condense an ungraspable idea into a neat package
• Georg Cantor’s diagonalization argument: defending actual infinities
![Page 13: The Sublime in Maths and Science - LMLlml.org.uk/wp-content/uploads/2016/08/Sublime... · The Sublime in Maths and Science LML Summer School 2016 ... Immanuel Kant (1724-1804) •](https://reader034.vdocument.in/reader034/viewer/2022042117/5e94eb1e017cf216fd622b8e/html5/thumbnails/13.jpg)
Criteria:
• Aesthetic: avoiding concepts?
• Imagination: spontaneous?
• Purposiveness: imagination succeeds or fails in delimiting?
Failure: cannot contain integers
Success: all integers contained
![Page 14: The Sublime in Maths and Science - LMLlml.org.uk/wp-content/uploads/2016/08/Sublime... · The Sublime in Maths and Science LML Summer School 2016 ... Immanuel Kant (1724-1804) •](https://reader034.vdocument.in/reader034/viewer/2022042117/5e94eb1e017cf216fd622b8e/html5/thumbnails/14.jpg)
Counting
• Countability is equivalent to being able to write a numbered list of all the elements in a set
![Page 15: The Sublime in Maths and Science - LMLlml.org.uk/wp-content/uploads/2016/08/Sublime... · The Sublime in Maths and Science LML Summer School 2016 ... Immanuel Kant (1724-1804) •](https://reader034.vdocument.in/reader034/viewer/2022042117/5e94eb1e017cf216fd622b8e/html5/thumbnails/15.jpg)
The Rational Numbers
• Arrange rational numbers in a grid
• Horizontal counting: will run out of natural numbers before reaching second row
![Page 16: The Sublime in Maths and Science - LMLlml.org.uk/wp-content/uploads/2016/08/Sublime... · The Sublime in Maths and Science LML Summer School 2016 ... Immanuel Kant (1724-1804) •](https://reader034.vdocument.in/reader034/viewer/2022042117/5e94eb1e017cf216fd622b8e/html5/thumbnails/16.jpg)
The Rational Numbers
• Suddenly notice counting along finite diagonals
• Able to assign natural number to every rational
![Page 17: The Sublime in Maths and Science - LMLlml.org.uk/wp-content/uploads/2016/08/Sublime... · The Sublime in Maths and Science LML Summer School 2016 ... Immanuel Kant (1724-1804) •](https://reader034.vdocument.in/reader034/viewer/2022042117/5e94eb1e017cf216fd622b8e/html5/thumbnails/17.jpg)
Beauty in this Proof
• Aesthetic: not relying on concept of numbers
• Imagination: jump to diagonal path seems spontaneous
• Purposiveness: have successfully ‘caught’ every rational
![Page 18: The Sublime in Maths and Science - LMLlml.org.uk/wp-content/uploads/2016/08/Sublime... · The Sublime in Maths and Science LML Summer School 2016 ... Immanuel Kant (1724-1804) •](https://reader034.vdocument.in/reader034/viewer/2022042117/5e94eb1e017cf216fd622b8e/html5/thumbnails/18.jpg)
Cantor Diagonalization
• What about the real numbers?
• Assumption: every real number is included in this list
1. 0 . 1 1 1 1 1
2. 1 . 4 1 4 2 1
3. 3 . 1 4 1 5 9
4. 1 . 7 3 2 0 5
5. 0 . 1 2 5 1 6
6. 2 . 5 7 3 3 8
![Page 19: The Sublime in Maths and Science - LMLlml.org.uk/wp-content/uploads/2016/08/Sublime... · The Sublime in Maths and Science LML Summer School 2016 ... Immanuel Kant (1724-1804) •](https://reader034.vdocument.in/reader034/viewer/2022042117/5e94eb1e017cf216fd622b8e/html5/thumbnails/19.jpg)
Cantor Diagonalization
• Notice diagonal entries
• Take number x, consisting of these digits: x=0.44218…
• Choose a number y such that y shares no digits with x, e.g. y=1.73602…
• Conclusion: y not in list i.e. the real numbers are uncountable
1. 0 . 1 1 1 1 1
2. 1 . 4 1 4 2 1
3. 3 . 1 4 1 5 9
4. 1 . 7 3 2 0 5
5. 0 . 1 2 5 1 6
6. 2 . 5 7 3 3 8
![Page 20: The Sublime in Maths and Science - LMLlml.org.uk/wp-content/uploads/2016/08/Sublime... · The Sublime in Maths and Science LML Summer School 2016 ... Immanuel Kant (1724-1804) •](https://reader034.vdocument.in/reader034/viewer/2022042117/5e94eb1e017cf216fd622b8e/html5/thumbnails/20.jpg)
Sublimity in this Proof• Imagination has failed to delimit the rational
numbers - pain
• Aesthetic: only using ‘same’/‘not same’, not properties of numbers
• Reason stops process by creating new principle that some infinitely large sets are bigger than others
![Page 21: The Sublime in Maths and Science - LMLlml.org.uk/wp-content/uploads/2016/08/Sublime... · The Sublime in Maths and Science LML Summer School 2016 ... Immanuel Kant (1724-1804) •](https://reader034.vdocument.in/reader034/viewer/2022042117/5e94eb1e017cf216fd622b8e/html5/thumbnails/21.jpg)
Key Discoveries
• Imagination is stuck in an iterative loop
• Cantor diagonalization used in Gödel’s Theorem, the Halting Problem
• Halting Problem relates to aesthetic process
![Page 22: The Sublime in Maths and Science - LMLlml.org.uk/wp-content/uploads/2016/08/Sublime... · The Sublime in Maths and Science LML Summer School 2016 ... Immanuel Kant (1724-1804) •](https://reader034.vdocument.in/reader034/viewer/2022042117/5e94eb1e017cf216fd622b8e/html5/thumbnails/22.jpg)
Morality?
• Kant: sublime experience makes you aware of your moral purpose
• Mathematically sublime proofs may not be moral in the typical sense
• Mathematician may act ‘morally’ by supplying a sublime proof [See: Cheng]
![Page 23: The Sublime in Maths and Science - LMLlml.org.uk/wp-content/uploads/2016/08/Sublime... · The Sublime in Maths and Science LML Summer School 2016 ... Immanuel Kant (1724-1804) •](https://reader034.vdocument.in/reader034/viewer/2022042117/5e94eb1e017cf216fd622b8e/html5/thumbnails/23.jpg)
Conclusion:
• Some mathematical proofs can provoke sublime experiences
• These experiences are aesthetically grounded in the Kantian sense
• Problem of accommodating morality
![Page 24: The Sublime in Maths and Science - LMLlml.org.uk/wp-content/uploads/2016/08/Sublime... · The Sublime in Maths and Science LML Summer School 2016 ... Immanuel Kant (1724-1804) •](https://reader034.vdocument.in/reader034/viewer/2022042117/5e94eb1e017cf216fd622b8e/html5/thumbnails/24.jpg)
Questions?Thank you for listening
![Page 25: The Sublime in Maths and Science - LMLlml.org.uk/wp-content/uploads/2016/08/Sublime... · The Sublime in Maths and Science LML Summer School 2016 ... Immanuel Kant (1724-1804) •](https://reader034.vdocument.in/reader034/viewer/2022042117/5e94eb1e017cf216fd622b8e/html5/thumbnails/25.jpg)
Sources
• Image: http://www.math.vanderbilt.edu/~schectex/courses/thereals/potential.html
• A. Breitenbach: Beauty in Proofs
• W. P. Thurston: On Proof and Progress in Mathematics
• E. Cheng: Mathematics, morally
![Page 26: The Sublime in Maths and Science - LMLlml.org.uk/wp-content/uploads/2016/08/Sublime... · The Sublime in Maths and Science LML Summer School 2016 ... Immanuel Kant (1724-1804) •](https://reader034.vdocument.in/reader034/viewer/2022042117/5e94eb1e017cf216fd622b8e/html5/thumbnails/26.jpg)
Further Reading
• J. W. Dauben: Georg Cantor, His Mathematics and Philosophy of the Infinite
• R. Goldstein: Incompleteness, The Proof and Paradox of Kurt Gödel
• W. Byers: How Mathematicians Think