This is a static snapshot of the website of MPLA, taken on 2025-02-27.

You are here: Seminars » 1999-2000 » S. Baratella, 2000-06-02

Navigator

Fortune cookie

“In principle, we can know all of mathematics. It is given to us in its entirety and does not change. … That part of it of which we have a perfect view seems beautiful, suggesting harmony; that is that all the parts fit together although we see fragments of them only. … Mathematics is applied to the real world and has proved fruitful. This suggests that the mathematical parts and the empirical parts are in harmony and the real world is also beautiful.”

Kurt Gödel.

Seminar

Speaker:	S. Baratella (University of Trento)
Title:	Quantifier elimination for first order theories
Date:	Friday, 02 Jun 2000
Time:	18:00-19:00

Comments

Reporter

Posts

Web standards: XHTML1.0, CSS3.

Powered by: OpenBSD, vim, nginx, Haskell, Ruby, Python, PostgreSQL, SQLite, django, schole.

© 1996 – 2018 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.