![]() |
Bruce J. PetriePh.D. CandidateSupervised by Craig FraserInstitute for the History and Philosophy of Science and Technology (IHPST) Victoria College University of Toronto Toronto, Ontario, Canada M5S 1K7 b.petrie@utoronto.ca |
Education
- Current - Ph.D. Candidate University of Toronto - Institute for the History and Philosophy of Science and Technology
- 2007 - M.A. University of Toronto - Institute for the History and Philosophy of Science and Technology
- 2006 - B.Sc. (Honours with First Class Standing) Brock University - Mathematics Integrated with Computers and Applications
Research Interests
"Each new major achievement in the theory of transcendental numbers is linked with the emergence of a new method." [1]
When the prominent mathematician David Hilbert gave his famous 1900 Paris Address he claimed “We know that every age has its own problems, which the following age either solves or casts away as profitless to be replaced by new ones…The deep significance of certain problems for the advance of mathematical science in general and the important role which they play in the work of the individual investigator are not to be denied." During the address, Hilbert listed ten problems (although twenty-three later appeared in print) that would direct mathematical research for the new century. One of his ten problems concerned the transcendence of two numbers 2^sqrt(2) and e^PI. In 1900, transcendental number theory was the frontier of mathematical research.
My doctoral dissertation will be an investigation of an important topic in the history of modern mathematics, the origin and development of transcendental number theory. A transcendental number is not the root of any polynomial with rational coefficients. A polynomial is defined to be an expression involving a sum of powers in one or more variables multiplied by coefficients, ex. a*x^n + b*x^(n-1) + c*x^(n-2) +... . In 1844 Joseph Liouville was the first person to demonstrate a number was transcendental (actually a whole family of them) and thus proved their mathematical existence. My investigation into transcendental number theory will uncover the specific catalysts, intuitions, and motivations of its pioneers (such as Leonard Euler, Johann Lambert, Joseph Liouville, Charles Hermite, and Ferdinand von Lindemann). I will examine how the concept of transcendence arose in mathematics and reveal what Liouville needed to conceive his approximation theorem and the first family of transcendental numbers. It is my agenda to not only expose the new methods mentioned by Fel'dman and Shidlovskii but also to trace their origins.
[1] Fel’dman, N. I. & Shidlovski, A. B. "The Development and Present State of the Theory of Transcendental Numbers”, Russian Math. Surv., 1967, 22 (3), 1-79.
Current Projects and Upcoming Presentations
- The Relationship Between Euler and Goldbach and the Correspondence of Lambert
- Based on previous work I have done to demonstrate that Euler and Lambert used continued fractions to prove the irrationality of e and pi, it is curious why the two do not appear to have been corresponding about these results (a further analysis of their correspondence will be included) because they were on amicable terms at the time and Lambert's proof appeared to rely upon Euler's exposition of continued fractions. It is my intention to discover any work Euler had done regarding the irrationality of pi by looking into his correspondence with Goldbach and newly translated articles. I also plan on digging more deeply into the life of Lambert to discover his motivations for proving the irrationality of pi as it appears he was not disccusing this result with Euler.
Awards
- 2008 - Social Sciences and Humanities Research Council of Canada (SSHRC) - Joseph-Armand Bombardier Canada Graduate Scholarship - Doctoral
- 2007 - Ontario Graduate Scholarship
- 2006 - University of Toronto Fellowship
- 2006 - Brock University Undergraduate Student Research Award
- 2004 - Leroy Langdon Richardson Bursary
- 2003 - Canadian Millenium Scholarship Foundation - National In-Course Excellence Award
- 2003 - Ian D. Beddis Family Scholarship
- 2000 - Aiming for the Top Tuition Scholarship
Teaching Experience
- Course Instructor - Brock University: 2006
- MATH 1P12 - Introductory Linear Algebra
- Guest Lab Demonstration - Brock University: 2006
- MATH 4P92 - Topics in Number Theory and Cryptography
- Guest Lecture - Brock University: 2005
- MATH 2P04 - Basic Concepts of Analysis
- Teaching Assistant - University of Toronto: 2006 - Current
- HPS 391 - Topics in the History of Math from 1700
- HPS 390 - History of Math to 1700
- HPS 211 - Scientific Revolutions II
- HPS 210 - Scientific Revolutions I
- Teaching Assistant - Brock University: 2001 - 2006
- MATH 3P92 - Great Moments in Mathematics I
- MATH 2F40 - Mathematics Integrated with Computers and Applications II
- MATH 1P40 - Mathematics Integrated with Computers and APplications I
- MATH 1P12 - Introductory Linear Algebra
- MATH 1P01 - Calculus Concepts I
- MATH 1P02 - Calculus Concepts II
- MATH 1P97 - Differential and Integral Methods
- MATH 1P98 - Basic Statistical Methods
Professional Associations
- CSHPM - Canadian Society for the History and Philosophy of Mathematics
- Member
- CSHPS - Canadian Society for the History and Philosophy of Science
- Member
- The Euler Society
- Member
- HAPSAT - History and Philosophy of Science and Technology Graduate Student Union
- Member
- Elected Official (2008 - 2009)- Webmaster, Alumni Officer
Unpublished Contributions and Previous Presentations
- "Walking the Royal Road - Why Presentists Don't Have a Leg to Stand On"
- Directed Reading Research Paper
- "Euler, Lambert, and the Irrationality of e and pi"
- Course Research Paper - revising to submit for publication.
- Presented at the 2009 Annual Conference E2K+9 of The Euler Society at Roger Williams University in Bristol, RI, USA.
- Presented at the CMS/CSHPM 2009 Annual Conference at Memorial University in St. John's, NFLD, CAN.
- Abstract
- To be published in the 2009 Conference Proceedings.
- Presented at an IHPST's HPS Workshop
- "Lagrange's and Cauchy's Derivation of the Mean - Value Theorem and the Revolution in Analysis between the Eighteenth and Nineteenth Centuries"
- Course Research Paper
- "Transcendental Numbers and the Solution of a 2000 year old problem"
- Bachelor Honour's Project
- Presentated to the Dept. of Math. at Brock University.
- "Programmed computations based on simplifying partial differential equations for the computation of Feynman Diagrams using a highly efficient and powerful computer algebra system, FORM."
- Research Assistant with T. Wolf at Brock University
- "The History and Influence of Jean Baptiste Joseph Fourier on Mathematical Analysis"
- Course Research Paper
- Presented at Brock University in class.
- "Using the History of Mathematics in an Intermediate Mathematics Classroom"
- Course Research Paper
EUREKA!
I have been happily married for 6 years and could not have accomplished what I have had it not been for the loving support of my wife. In my spare time, I am an avid World of Warcraft player and if you're really nerdy (like me) you can look up my "main" character here. I also enjoy making machinima movies and display them on my Youtube account and Warcraft Movies Account as well.