mpla.math.uoa.gr

Font size: Αα Αα Αα

hide gadgets

autohide:

You are here: Seminars » 2002-2003 » Θ. Ανδρόνικος, 2003-04-04

{ prev, contents, next }

Navigator

Fortune cookie

“I hope I may claim in the present work to have made it probable that the laws of arithmetic are analytic judgments and consequently a priori. Arithmetic thus becomes simply a development of logic, and every proposition of arithmetic a law of logic, albeit a derivative one. To apply arithmetic in the physical sciences is to bring logic to bear on observed facts; calculation becomes deduction.”

Gottlob Frege.

download seminar details: { pdf }

Seminar

Speaker:	Θεόδωρος Ανδρόνικος (ΜΠΛΑ)
Title:	Automatic system verification and synthesis
Date:	Παρασκευή, 04 Απρ 2003
Ώρα:	18:00-19:00

Comments

You must be logged in to comment.

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.