Welcome to
Joachim Breitner's Homepage
News
Blog
Projects
Publications
Content
About me
Links
Contact
Photos
Heisse-News
Categories
Deutsch
English
Digital World
Debian
Haskell
Mathe
Reisen
Ghana
Indien
Cambridge
Politik
All categories
Blog (Tag Mathe)
2013
Heidelberg Laureates Forum 2013
2012
Somewhere in Israel, someone printed 50 copies
2011
First (academic) publication
Poetry in the problem class
Linux-Magazin-Programmierwettbewerb
A talk on Church’s result about the Entscheidungsproblem
Vizing’s theorem proved using Event-B and Rodin
The general triangle, formally
A Mistake in Church’s Paper
2010
Free Groups Formalized
A mathematician’s status symbol
Diploma Thesis Finished
2008
FrakView: An Haskell Renderer for Iterated Function Systems
2007
Hausdorff immer nüchtern, Kolmogoroff nur manchmal
Go up
Photos