|
|
|
|
|
|
|
Decidability of first-order theories
|
| |
| |
|
Description: |
Some results and reduction techniques for proving decidability of mathematical theories and completeness of logics are presented. The crucial role of the theory of real closed ordered fields is explained. Selected illustrations from Euclidean Geometry to Quantum Logic are discussed.
|
|
Date: |
|
| Start Time: |
15:00 |
|
Speaker: |
Cristina Sernadas (CMAFcIO, Univ. Lisboa)
|
|
Institution: |
CMAFcIO, Univ. Lisboa
|
|
Place: |
Room 5.5
|
| Research Groups: |
-Algebra, Logic and Topology
|
|
See more:
|
<Main>
|
|
| |
|
|
|
|
|
|
© 2012 Centre for Mathematics, University of Coimbra, funded by
Powered by: rdOnWeb
v1.4 | technical support
|
|
|
|
