(1 - 24 von 24
)
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
3 November 2009, Seminar on the Philosophy of Mathematics, Peter...
www.illc.uva.nl
On the ocasion of the visits of two eminent speakers, Peter Hacker from Oxford and Peter Koepke from Bonn, we are organising a special session of the seminar....
sortiert nach Relevanz / Datum