Contact Info
Pure MathematicsUniversity of Waterloo
200 University Avenue West
Waterloo, Ontario, Canada
N2L 3G1
Departmental office: MC 5304
Phone: 519 888 4567 x33484
Fax: 519 725 0160
Email: puremath@uwaterloo.ca
Thursday, August 8, 2019 — 10:00 to 10:00 AM EDT
Luke MacLean, Department of Pure Mathematics, University of Waterloo
"Effectively defining formulas in Robinson's Arithmetic"
It was proven by Alfred Tarski that all general recursive functions are definable in Robinson's Arithmetic. I will give his proof of this fact with supplementary information on how to make the process of finding the defining formula effective.
MC 5479