Peter Koepke und Formal Person-Info 

( Ich bin Peter Koepke)
(1 - 13 von 13
)

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

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
+1