SlideShare a Scribd company logo
1 of 5
Authority and Sensibility:
Lakatos and Pólya on teaching
Brendan Larvor
University of Hertfordshire
11 October 2007
2
Mathematics presented in the Euclidean
way appears as a systematic, deductive
science; but mathematics in the making
appears as an experimental, inductive
science.
Preface to How to solve it (1945)
3
Heuristic Presentation
The content of the
theorem and the moves
made in the course of the
proof motivated by the
experimental/ inductive/
heuristic/ dialectical
process by which they
were arrived at.
Euclidian Presentation
The content of the
theorem and the moves
made in the course of the
proof seem to appear by
magic.
Deus ex machina (Pólya)
Authoritarian mysticism
(Lakatos)
4
If the terms of the sequence a1, a2, a3… are
non-negative real numbers, not all equal to
0, then:
How did anyone guess this?
What is e doing there?
ae<)a...aaa( nn321
1
1/n
1


Theorem:
5
    n
nn
n
n
n
cacacaca
aaa
1
1
332211
1
1
21
1
...
... 



 




1
2211
1
...
nn
cacaca nn
  



 

1 1
1
k kn
kk
nn
ca
 












1 1
11
k kn
kk
nn
ca
 
kk
k
a
k
k
k
k
11
1
1





ae< n
1


Define the numbers c1, c2, c3,…cn… by:  n
n ncccc 1...321 
GM ≤ AM
 k
kk 1 Approaches e
monotonically from
below
Proof:

More Related Content

What's hot

Theory of Knowledge - mathematics philosophies
Theory of Knowledge -  mathematics philosophiesTheory of Knowledge -  mathematics philosophies
Theory of Knowledge - mathematics philosophiesplangdale
 
Category Theory for All (NASSLLI 2012)
Category Theory for All (NASSLLI 2012)Category Theory for All (NASSLLI 2012)
Category Theory for All (NASSLLI 2012)Valeria de Paiva
 
István Dienes Lecture For Unified Theories 2006
István Dienes Lecture For Unified Theories 2006István Dienes Lecture For Unified Theories 2006
István Dienes Lecture For Unified Theories 2006Istvan Dienes
 
Mathematical foundations of consciousness
Mathematical foundations of consciousnessMathematical foundations of consciousness
Mathematical foundations of consciousnessPronoy Sikdar
 
Categorical Proof Theory for Everyone
Categorical Proof Theory for EveryoneCategorical Proof Theory for Everyone
Categorical Proof Theory for EveryoneValeria de Paiva
 
logic and set theory
logic and set theorylogic and set theory
logic and set theoryNathan Trillo
 

What's hot (7)

Theory of Knowledge - mathematics philosophies
Theory of Knowledge -  mathematics philosophiesTheory of Knowledge -  mathematics philosophies
Theory of Knowledge - mathematics philosophies
 
Category Theory for All (NASSLLI 2012)
Category Theory for All (NASSLLI 2012)Category Theory for All (NASSLLI 2012)
Category Theory for All (NASSLLI 2012)
 
István Dienes Lecture For Unified Theories 2006
István Dienes Lecture For Unified Theories 2006István Dienes Lecture For Unified Theories 2006
István Dienes Lecture For Unified Theories 2006
 
Mathematical foundations of consciousness
Mathematical foundations of consciousnessMathematical foundations of consciousness
Mathematical foundations of consciousness
 
Indian Mathematician Bhaskara II
Indian Mathematician  Bhaskara IIIndian Mathematician  Bhaskara II
Indian Mathematician Bhaskara II
 
Categorical Proof Theory for Everyone
Categorical Proof Theory for EveryoneCategorical Proof Theory for Everyone
Categorical Proof Theory for Everyone
 
logic and set theory
logic and set theorylogic and set theory
logic and set theory
 

Similar to Authority and sensibility

IS A FIELD AN INTELLIGENT SYSTEM?
IS A FIELD AN INTELLIGENT SYSTEM?IS A FIELD AN INTELLIGENT SYSTEM?
IS A FIELD AN INTELLIGENT SYSTEM?ijrap
 
IS A FIELD AN INTELLIGENT SYSTEM?
IS A FIELD AN INTELLIGENT SYSTEM?IS A FIELD AN INTELLIGENT SYSTEM?
IS A FIELD AN INTELLIGENT SYSTEM?ijrap
 
Science and evolution of the scientific method
Science and evolution of the scientific methodScience and evolution of the scientific method
Science and evolution of the scientific methodFernando Alcoforado
 
Nature, characteristics and definition of maths
Nature, characteristics and definition of mathsNature, characteristics and definition of maths
Nature, characteristics and definition of mathsAngel Rathnabai
 
General introduction to logic
General introduction to logicGeneral introduction to logic
General introduction to logicMUHAMMAD RIAZ
 
Brain/Mind duality explained
Brain/Mind duality explainedBrain/Mind duality explained
Brain/Mind duality explainedIstvan Dienes
 
20130928 automated theorem_proving_harrison
20130928 automated theorem_proving_harrison20130928 automated theorem_proving_harrison
20130928 automated theorem_proving_harrisonComputer Science Club
 
Approaches to social sciences
Approaches to social sciencesApproaches to social sciences
Approaches to social sciencesgerminah
 
Mathematics power point 2012 13
Mathematics power point 2012 13Mathematics power point 2012 13
Mathematics power point 2012 13Kieran Ryan
 
History of infinity
History of infinityHistory of infinity
History of infinityUresha Dias
 
Chapter 2 lecture slideshow
Chapter 2 lecture slideshowChapter 2 lecture slideshow
Chapter 2 lecture slideshowSherman Wei
 
Lecture 1-3-Logics-In-computer-science.pptx
Lecture 1-3-Logics-In-computer-science.pptxLecture 1-3-Logics-In-computer-science.pptx
Lecture 1-3-Logics-In-computer-science.pptxPriyalMayurManvar
 
Aok – areas of knowing mathematics
Aok – areas of knowing mathematicsAok – areas of knowing mathematics
Aok – areas of knowing mathematicst0nywilliams
 
Fantastic Realities.pdf
Fantastic Realities.pdfFantastic Realities.pdf
Fantastic Realities.pdffoxbeta1
 
Quantum Geometry: A reunion of math and physics
Quantum Geometry: A reunion of math and physicsQuantum Geometry: A reunion of math and physics
Quantum Geometry: A reunion of math and physicsRafa Spoladore
 
J.F. van Werven - Reconsidering Recursion (Master's Thesis)
J.F. van Werven - Reconsidering Recursion (Master's Thesis)J.F. van Werven - Reconsidering Recursion (Master's Thesis)
J.F. van Werven - Reconsidering Recursion (Master's Thesis)Jorike van Werven
 

Similar to Authority and sensibility (20)

Lakatos on teaching
Lakatos on teachingLakatos on teaching
Lakatos on teaching
 
A New Kind Of Positivism
A New Kind Of PositivismA New Kind Of Positivism
A New Kind Of Positivism
 
Lakatos on teaching
Lakatos on teachingLakatos on teaching
Lakatos on teaching
 
IS A FIELD AN INTELLIGENT SYSTEM?
IS A FIELD AN INTELLIGENT SYSTEM?IS A FIELD AN INTELLIGENT SYSTEM?
IS A FIELD AN INTELLIGENT SYSTEM?
 
IS A FIELD AN INTELLIGENT SYSTEM?
IS A FIELD AN INTELLIGENT SYSTEM?IS A FIELD AN INTELLIGENT SYSTEM?
IS A FIELD AN INTELLIGENT SYSTEM?
 
Science and evolution of the scientific method
Science and evolution of the scientific methodScience and evolution of the scientific method
Science and evolution of the scientific method
 
Nature, characteristics and definition of maths
Nature, characteristics and definition of mathsNature, characteristics and definition of maths
Nature, characteristics and definition of maths
 
General introduction to logic
General introduction to logicGeneral introduction to logic
General introduction to logic
 
After lakatos
After lakatosAfter lakatos
After lakatos
 
Brain/Mind duality explained
Brain/Mind duality explainedBrain/Mind duality explained
Brain/Mind duality explained
 
20130928 automated theorem_proving_harrison
20130928 automated theorem_proving_harrison20130928 automated theorem_proving_harrison
20130928 automated theorem_proving_harrison
 
Approaches to social sciences
Approaches to social sciencesApproaches to social sciences
Approaches to social sciences
 
Mathematics power point 2012 13
Mathematics power point 2012 13Mathematics power point 2012 13
Mathematics power point 2012 13
 
History of infinity
History of infinityHistory of infinity
History of infinity
 
Chapter 2 lecture slideshow
Chapter 2 lecture slideshowChapter 2 lecture slideshow
Chapter 2 lecture slideshow
 
Lecture 1-3-Logics-In-computer-science.pptx
Lecture 1-3-Logics-In-computer-science.pptxLecture 1-3-Logics-In-computer-science.pptx
Lecture 1-3-Logics-In-computer-science.pptx
 
Aok – areas of knowing mathematics
Aok – areas of knowing mathematicsAok – areas of knowing mathematics
Aok – areas of knowing mathematics
 
Fantastic Realities.pdf
Fantastic Realities.pdfFantastic Realities.pdf
Fantastic Realities.pdf
 
Quantum Geometry: A reunion of math and physics
Quantum Geometry: A reunion of math and physicsQuantum Geometry: A reunion of math and physics
Quantum Geometry: A reunion of math and physics
 
J.F. van Werven - Reconsidering Recursion (Master's Thesis)
J.F. van Werven - Reconsidering Recursion (Master's Thesis)J.F. van Werven - Reconsidering Recursion (Master's Thesis)
J.F. van Werven - Reconsidering Recursion (Master's Thesis)
 

More from Brendan Larvor

The concept of proof: how much trouble are we in?
The concept of proof: how much trouble are we in?The concept of proof: how much trouble are we in?
The concept of proof: how much trouble are we in?Brendan Larvor
 
Eveery Classroom is Multicultural
Eveery Classroom is MulticulturalEveery Classroom is Multicultural
Eveery Classroom is MulticulturalBrendan Larvor
 
Anselm in Context .pptx
Anselm in Context .pptxAnselm in Context .pptx
Anselm in Context .pptxBrendan Larvor
 
Unlikely bedfellows or unholy alliance.pptx
Unlikely bedfellows or unholy alliance.pptxUnlikely bedfellows or unholy alliance.pptx
Unlikely bedfellows or unholy alliance.pptxBrendan Larvor
 
Culture Lisbon 30 June 2022.pptx
Culture Lisbon 30 June 2022.pptxCulture Lisbon 30 June 2022.pptx
Culture Lisbon 30 June 2022.pptxBrendan Larvor
 
Palimpsest and Bricolage.pptx
Palimpsest and Bricolage.pptxPalimpsest and Bricolage.pptx
Palimpsest and Bricolage.pptxBrendan Larvor
 
We are all in this together
We are all in this togetherWe are all in this together
We are all in this togetherBrendan Larvor
 
David hume and the limits of mathematical reason
David hume and the limits of mathematical reasonDavid hume and the limits of mathematical reason
David hume and the limits of mathematical reasonBrendan Larvor
 
The material-ideal dyad of culture and the revolutionary materialism of pract...
The material-ideal dyad of culture and the revolutionary materialism of pract...The material-ideal dyad of culture and the revolutionary materialism of pract...
The material-ideal dyad of culture and the revolutionary materialism of pract...Brendan Larvor
 
On the unreasonable reliability of mathematical proof
On the unreasonable reliability of mathematical proofOn the unreasonable reliability of mathematical proof
On the unreasonable reliability of mathematical proofBrendan Larvor
 
What virtues (zoom with eton june 2020)
What virtues (zoom with eton june 2020)What virtues (zoom with eton june 2020)
What virtues (zoom with eton june 2020)Brendan Larvor
 
The logic(s) of informal proofs (vub)
The logic(s) of informal proofs (vub)The logic(s) of informal proofs (vub)
The logic(s) of informal proofs (vub)Brendan Larvor
 
Matheamtical cutlures (bath june 15)
Matheamtical cutlures (bath june 15)Matheamtical cutlures (bath june 15)
Matheamtical cutlures (bath june 15)Brendan Larvor
 
Philosophy and history (lodge07)
Philosophy and history (lodge07)Philosophy and history (lodge07)
Philosophy and history (lodge07)Brendan Larvor
 
Is it irrational to be moved by the
Is it irrational to be moved by theIs it irrational to be moved by the
Is it irrational to be moved by theBrendan Larvor
 

More from Brendan Larvor (20)

The concept of proof: how much trouble are we in?
The concept of proof: how much trouble are we in?The concept of proof: how much trouble are we in?
The concept of proof: how much trouble are we in?
 
Eveery Classroom is Multicultural
Eveery Classroom is MulticulturalEveery Classroom is Multicultural
Eveery Classroom is Multicultural
 
Anselm in Context .pptx
Anselm in Context .pptxAnselm in Context .pptx
Anselm in Context .pptx
 
Unlikely bedfellows or unholy alliance.pptx
Unlikely bedfellows or unholy alliance.pptxUnlikely bedfellows or unholy alliance.pptx
Unlikely bedfellows or unholy alliance.pptx
 
Culture Lisbon 30 June 2022.pptx
Culture Lisbon 30 June 2022.pptxCulture Lisbon 30 June 2022.pptx
Culture Lisbon 30 June 2022.pptx
 
Palimpsest and Bricolage.pptx
Palimpsest and Bricolage.pptxPalimpsest and Bricolage.pptx
Palimpsest and Bricolage.pptx
 
We are all in this together
We are all in this togetherWe are all in this together
We are all in this together
 
Religious language
Religious language Religious language
Religious language
 
David hume and the limits of mathematical reason
David hume and the limits of mathematical reasonDavid hume and the limits of mathematical reason
David hume and the limits of mathematical reason
 
The material-ideal dyad of culture and the revolutionary materialism of pract...
The material-ideal dyad of culture and the revolutionary materialism of pract...The material-ideal dyad of culture and the revolutionary materialism of pract...
The material-ideal dyad of culture and the revolutionary materialism of pract...
 
On the unreasonable reliability of mathematical proof
On the unreasonable reliability of mathematical proofOn the unreasonable reliability of mathematical proof
On the unreasonable reliability of mathematical proof
 
What virtues (zoom with eton june 2020)
What virtues (zoom with eton june 2020)What virtues (zoom with eton june 2020)
What virtues (zoom with eton june 2020)
 
Apmp larvor francois
Apmp larvor francoisApmp larvor francois
Apmp larvor francois
 
The logic(s) of informal proofs (vub)
The logic(s) of informal proofs (vub)The logic(s) of informal proofs (vub)
The logic(s) of informal proofs (vub)
 
Matheamtical cutlures (bath june 15)
Matheamtical cutlures (bath june 15)Matheamtical cutlures (bath june 15)
Matheamtical cutlures (bath june 15)
 
Apmp brazil oct 2017
Apmp brazil oct 2017Apmp brazil oct 2017
Apmp brazil oct 2017
 
Philosophy and history (lodge07)
Philosophy and history (lodge07)Philosophy and history (lodge07)
Philosophy and history (lodge07)
 
Manifesto
ManifestoManifesto
Manifesto
 
Is it irrational to be moved by the
Is it irrational to be moved by theIs it irrational to be moved by the
Is it irrational to be moved by the
 
Geist
GeistGeist
Geist
 

Recently uploaded

Arihant handbook biology for class 11 .pdf
Arihant handbook biology for class 11 .pdfArihant handbook biology for class 11 .pdf
Arihant handbook biology for class 11 .pdfchloefrazer622
 
Q4-W6-Restating Informational Text Grade 3
Q4-W6-Restating Informational Text Grade 3Q4-W6-Restating Informational Text Grade 3
Q4-W6-Restating Informational Text Grade 3JemimahLaneBuaron
 
1029-Danh muc Sach Giao Khoa khoi 6.pdf
1029-Danh muc Sach Giao Khoa khoi  6.pdf1029-Danh muc Sach Giao Khoa khoi  6.pdf
1029-Danh muc Sach Giao Khoa khoi 6.pdfQucHHunhnh
 
Interactive Powerpoint_How to Master effective communication
Interactive Powerpoint_How to Master effective communicationInteractive Powerpoint_How to Master effective communication
Interactive Powerpoint_How to Master effective communicationnomboosow
 
1029 - Danh muc Sach Giao Khoa 10 . pdf
1029 -  Danh muc Sach Giao Khoa 10 . pdf1029 -  Danh muc Sach Giao Khoa 10 . pdf
1029 - Danh muc Sach Giao Khoa 10 . pdfQucHHunhnh
 
Accessible design: Minimum effort, maximum impact
Accessible design: Minimum effort, maximum impactAccessible design: Minimum effort, maximum impact
Accessible design: Minimum effort, maximum impactdawncurless
 
Mastering the Unannounced Regulatory Inspection
Mastering the Unannounced Regulatory InspectionMastering the Unannounced Regulatory Inspection
Mastering the Unannounced Regulatory InspectionSafetyChain Software
 
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...Krashi Coaching
 
Measures of Central Tendency: Mean, Median and Mode
Measures of Central Tendency: Mean, Median and ModeMeasures of Central Tendency: Mean, Median and Mode
Measures of Central Tendency: Mean, Median and ModeThiyagu K
 
mini mental status format.docx
mini    mental       status     format.docxmini    mental       status     format.docx
mini mental status format.docxPoojaSen20
 
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptx
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptxPOINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptx
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptxSayali Powar
 
How to Make a Pirate ship Primary Education.pptx
How to Make a Pirate ship Primary Education.pptxHow to Make a Pirate ship Primary Education.pptx
How to Make a Pirate ship Primary Education.pptxmanuelaromero2013
 
Introduction to AI in Higher Education_draft.pptx
Introduction to AI in Higher Education_draft.pptxIntroduction to AI in Higher Education_draft.pptx
Introduction to AI in Higher Education_draft.pptxpboyjonauth
 
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...EduSkills OECD
 
Employee wellbeing at the workplace.pptx
Employee wellbeing at the workplace.pptxEmployee wellbeing at the workplace.pptx
Employee wellbeing at the workplace.pptxNirmalaLoungPoorunde1
 
Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111Sapana Sha
 
Hybridoma Technology ( Production , Purification , and Application )
Hybridoma Technology  ( Production , Purification , and Application  ) Hybridoma Technology  ( Production , Purification , and Application  )
Hybridoma Technology ( Production , Purification , and Application ) Sakshi Ghasle
 

Recently uploaded (20)

Staff of Color (SOC) Retention Efforts DDSD
Staff of Color (SOC) Retention Efforts DDSDStaff of Color (SOC) Retention Efforts DDSD
Staff of Color (SOC) Retention Efforts DDSD
 
Arihant handbook biology for class 11 .pdf
Arihant handbook biology for class 11 .pdfArihant handbook biology for class 11 .pdf
Arihant handbook biology for class 11 .pdf
 
Q4-W6-Restating Informational Text Grade 3
Q4-W6-Restating Informational Text Grade 3Q4-W6-Restating Informational Text Grade 3
Q4-W6-Restating Informational Text Grade 3
 
1029-Danh muc Sach Giao Khoa khoi 6.pdf
1029-Danh muc Sach Giao Khoa khoi  6.pdf1029-Danh muc Sach Giao Khoa khoi  6.pdf
1029-Danh muc Sach Giao Khoa khoi 6.pdf
 
Interactive Powerpoint_How to Master effective communication
Interactive Powerpoint_How to Master effective communicationInteractive Powerpoint_How to Master effective communication
Interactive Powerpoint_How to Master effective communication
 
1029 - Danh muc Sach Giao Khoa 10 . pdf
1029 -  Danh muc Sach Giao Khoa 10 . pdf1029 -  Danh muc Sach Giao Khoa 10 . pdf
1029 - Danh muc Sach Giao Khoa 10 . pdf
 
Accessible design: Minimum effort, maximum impact
Accessible design: Minimum effort, maximum impactAccessible design: Minimum effort, maximum impact
Accessible design: Minimum effort, maximum impact
 
Mastering the Unannounced Regulatory Inspection
Mastering the Unannounced Regulatory InspectionMastering the Unannounced Regulatory Inspection
Mastering the Unannounced Regulatory Inspection
 
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
 
Measures of Central Tendency: Mean, Median and Mode
Measures of Central Tendency: Mean, Median and ModeMeasures of Central Tendency: Mean, Median and Mode
Measures of Central Tendency: Mean, Median and Mode
 
mini mental status format.docx
mini    mental       status     format.docxmini    mental       status     format.docx
mini mental status format.docx
 
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptx
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptxPOINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptx
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptx
 
Mattingly "AI & Prompt Design: Structured Data, Assistants, & RAG"
Mattingly "AI & Prompt Design: Structured Data, Assistants, & RAG"Mattingly "AI & Prompt Design: Structured Data, Assistants, & RAG"
Mattingly "AI & Prompt Design: Structured Data, Assistants, & RAG"
 
How to Make a Pirate ship Primary Education.pptx
How to Make a Pirate ship Primary Education.pptxHow to Make a Pirate ship Primary Education.pptx
How to Make a Pirate ship Primary Education.pptx
 
Introduction to AI in Higher Education_draft.pptx
Introduction to AI in Higher Education_draft.pptxIntroduction to AI in Higher Education_draft.pptx
Introduction to AI in Higher Education_draft.pptx
 
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
 
Employee wellbeing at the workplace.pptx
Employee wellbeing at the workplace.pptxEmployee wellbeing at the workplace.pptx
Employee wellbeing at the workplace.pptx
 
Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111
 
Código Creativo y Arte de Software | Unidad 1
Código Creativo y Arte de Software | Unidad 1Código Creativo y Arte de Software | Unidad 1
Código Creativo y Arte de Software | Unidad 1
 
Hybridoma Technology ( Production , Purification , and Application )
Hybridoma Technology  ( Production , Purification , and Application  ) Hybridoma Technology  ( Production , Purification , and Application  )
Hybridoma Technology ( Production , Purification , and Application )
 

Authority and sensibility

  • 1. Authority and Sensibility: Lakatos and Pólya on teaching Brendan Larvor University of Hertfordshire 11 October 2007
  • 2. 2 Mathematics presented in the Euclidean way appears as a systematic, deductive science; but mathematics in the making appears as an experimental, inductive science. Preface to How to solve it (1945)
  • 3. 3 Heuristic Presentation The content of the theorem and the moves made in the course of the proof motivated by the experimental/ inductive/ heuristic/ dialectical process by which they were arrived at. Euclidian Presentation The content of the theorem and the moves made in the course of the proof seem to appear by magic. Deus ex machina (Pólya) Authoritarian mysticism (Lakatos)
  • 4. 4 If the terms of the sequence a1, a2, a3… are non-negative real numbers, not all equal to 0, then: How did anyone guess this? What is e doing there? ae<)a...aaa( nn321 1 1/n 1   Theorem:
  • 5. 5     n nn n n n cacacaca aaa 1 1 332211 1 1 21 1 ... ...           1 2211 1 ... nn cacaca nn          1 1 1 k kn kk nn ca               1 1 11 k kn kk nn ca   kk k a k k k k 11 1 1      ae< n 1   Define the numbers c1, c2, c3,…cn… by:  n n ncccc 1...321  GM ≤ AM  k kk 1 Approaches e monotonically from below Proof: