Follow on twitter: @thatsmaths
Mathematics is distinguished from the sciences by the freedom it enjoys in choosing basic assumptions from which consequences can be deduced by applying the laws of logic. We call the basic assumptions axioms and the consequent results theorems. But can things be done the other way around, using theorems to prove axioms? This is a central question of reverse mathematics [TM222 or search for “thatsmaths” at irishtimes.com].
Continue reading ‘Topsy-turvy Maths: Proving Axioms from Theorems’
Applied mathematics is the use of maths to address questions and solve problems outside maths itself. Counting money, designing rockets and vaccines, analysing internet traffic and predicting the weather all involve maths. But why does this work? Why is maths so successful in describing physical reality? How is it that the world can be understood mathematically? [TM196, or search for “thatsmaths” at irishtimes.com].
Continue reading ‘Mathematics and the Nature of Physical Reality’
ThatsMaths 