(1 - 28 von 34
)
Cultures of Mathematics and Logic: Guangzhou, China
www.math.uni-hamburg.de
Peter Koepke (Bonn, Germany) Formal Mathematics and Mathematical Practices. Taped video presentation Lunch break Thomas Müller (Utrecht, The Netherlands) Is there such a thing as philosophical logic? Invited Talk: Reviel Netz (Stanford CA, U.S.A.) Mathematical Communities in Greek Antiquity; Closing
Oberseminar Mengenlehre — Mathematik
www.mathematics.uni-bonn.de
Peter Koepke (Bonn) Algebra, Number Theory and Logic; Thursday May 20, :15 PM - 05:45 PM. Beweisbar rekursive Funktionen und subrekursive Hierarchien; Andreas Weiermann (Münster) Algebra, Number Theory and Logic; Thursday June 03, :15 PM - …
The Formalization of Mathematics — Mathematik
www.mathematics.uni-bonn.de
Organizer: Thomas Hales (Pittsburgh), Peter Koepke (Bonn) Topics: Algebra, Number Theory and Logic Institute: Hausdorff Center for Mathematics (HCM) Research Areas: C3: Combinatorial optimization, complexity, and chip design
sortiert nach Relevanz / Datum