Hello world. I'm Brian Tyrrell, a recent mathematics graduate of Trinity College Dublin and graduate student of the University of Oxford. My research interests are concentrated around model theory & computability theory and its applications to number theory & valued fields. I have completed an MSc in Mathematics and Foundations of Computer Science at Oxford, and began my PhD at Oxford in Autumn 2018 under the supervision of Jochen Koenigsmann.
In 2016-2017 I was the librarian for the Dublin University Mathematical Society, known affectionately as Mathsoc, and in the same year I ran tutorials and graded for MA2C03 - Discrete Mathematics. More recently I have TA'd for B1.1 Logic and B1.2 Set Theory at Oxford. Each summer I am the Game Theory instructor at CTYI Session I, and last year I began training for my glider pilot's license. This webpage serves as somewhere I can keep my stuff and experiment with HTML, so I invite you to browse around. Who knows, something here might be useful.
"Mathematical reasoning may be regarded rather schematically as the exercise of a combination of two facilities, which we may call intuition and ingenuity." - Alan Turing, Systems of Logic Based on Ordinals, Proceedings of the London Mathematical Society, (2) 45, 1939.
"It was a dark and stormy night when R. H. Bing volunteered to drive some stranded mathematicians from the fogged-in Madison airport to Chicago. Freezing rain pelted the windscreen and iced the roadway as Bing drove on--concentrating deeply on the mathematical theorem he was explaining. Soon the windshield was fogged from the energetic explanation. The passengers too had beaded brows, but their sweat arose from fear. As the mathematical description got brighter, the visibility got dimmer. Finally, the conferees felt a trace of hope for their survival when Bing reached forward--apparently to wipe off the the moisture from the windshield. Their hope turned to horror when, instead, Bing drew a figure with his finger on the foggy pane and continued his proof--embellishing the illustration with arrows and helpful labels as needed for the demonstration." - William Jaco, from an ingenious collection of quotes.
Project and Papers - details of my exploits.
CTYI Game Theory Information - notes/material for the CTYI Game Theory course.
Extras - Tutorial notes for MA2C03.
Things I recommend - my personal section.
Sharp calculator manual.