Frank Tsai

Göteborgs universitet

,,Entweder ist die Mathematik zu groß für den menschlichen Verstand oder der menschlichen Verstand ist mehr als eine Maschine'' - Kurt Gödel

Posts

• abstract-nonsense
• elementary-topos
• functions-and-relations
• functions
• greatest-common-divisor
• hw5w
• induction
• predicate_logic
• propositional_logic
• set-theory