Basil A. KarádaisArbeitsgruppe Mathematische LogikMathematisches Institut der Universität München Email: karadais[at]math.lmu.de Tel: +49 (0)89 2180 4417 Sprechstunde: Nach Vereinbarung |
|
Teaching
- SS13: Logic and Discrete Structures
- WS12/13: Single Variable Calculus
- SS12: Logic and Discrete Structures
- WS11/12: Analysis I for students of Computer Science and Statistics
- WS10/11: Geometry
- SS10: Mathematical Logic II
- WS09/10: Linear Algebra for students of Computer Science and Statistics
- SS09: Synthetic und analytic treatment of geometric problems
- WS08/09: Differential and Integral Calculus III
- SS08 Complex Analysis (Funktionentheorie) (ss08_ft.rar, 2.5MB)
- SS07: Mathematical Logic II (ss07_mlii.rar, 390KB)
- SS05: Linear Algebra II
Work
- Atomicity in Non-atomic Information Systems (slides)
Foundation of Mathematics for Computer-Aided Formalization 2013 - Recognizing Tokens in a Finitary Algebra (note)
L.M.U. 2012 - Towards a Formal Theory of Computability (preprint), with S. Huber and H. Schwichtenberg
Ways οf Proof Theory (Pohler's Festschrift)
A Case Study (slides)
Arbeitstagung Βern-München 2010 - Plotkin Definability Theorem for Atomic-Coherent Information Systems (slides)
Computability in Europe 2008 - Normal Form of Finite Algebraic Approximations (handout)
Seminar on Proof Theory WS 2006/7 - Elaborating on Ishihara's 'WKL implies FAN' (handout)
EST training workshop 2005
Links
- Here's a nice note on the axiom of choice by Thomas Forster (via Peter Smith's guide, see below).
- Peter Smith has been compiling a diy guide on learning logic in his very british blog. He updates it here.
- Probably not "the most important video you'll ever see" (yuck), but still, Albert Bartlett's lecture on Arithmetic, Population, and Energy is an interesting as well as a cozy watch.
- Stephen Strogatz' New York Times Blog
- Mathematics and Computation, Andrej Bauer's very interesting blog
- Answers to frequently asked questions about Constructive Mathematics, by Douglas Bridges
- Of pi's and fetishists: Michael Hartl takes on $\pi$ versus $2\pi$.
- Richard Elwes' Simple City
- "Math is just a serious game" (sic)
- PhD Comics, the must link on every Ph.D.'s webpage
And a bit more
- Suppose you're interested in the philosophy of mathematics; and there's this talk that you hear about, that contains the words "mathematical philosophy" in the title or abstract; now, if the guy who's giving the talk is a mathematician, he should certainly mean what he says, right? (of course...) so, you wouldn't attend -- you're not interested in the mathematics of philosophy after all; if the guy (or the girl, let's not be american pee cee here) is a non-mathematician, even if he means to talk about the philosophy of mathematics, he obviously can't use the words right; so again, you shouldn't bother to attend. If you nevertheless do attend, then you should be decent enough not to complain afterwards.
- Among many-many things, this or this, in street german as I personally understand it, is what you would call "voll nazi". Now, if you're among the academia or pseudo-academia people who prefer to reserve the term for the hitler era, just call it "criminally arrogant" and let's stay friends, what d'you say?
Last modified: 23.04.2013