University COVID-19 update

The University of Waterloo is constantly updating our most Frequently Asked Questions.

Questions about buildings and services? Visit the list of Modified Services.

Please note: The University of Waterloo is closed for all events until further notice.

Computability Learning SeminarExport this event to calendar

Tuesday, October 22, 2019 — 2:00 PM EDT

Luke MacLean, Department of Pure Mathematics, University of Waterloo

"REVERSE MATHEMATICS"

While most of mathematics is concerned with using a set of axioms to prove theorems, reverse mathematics is a relatively new form of mathematical logic that seeks to determine which axioms are required to prove certain theorems. This gives a notion of the “strength” of a certain theorem by looking at which theorems imply it, and which are implied by it.

This will be the first in a series of talks that will follow “Slicing the Truth” by Denis Hirschfeldt with brief digressions to aid in clarity. No knowledge of computability theory is presupposed and the level of the talk will adjust according to the audience.

MC 5413

S M T W T F S
27
28
29
30
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
  1. 2021 (67)
    1. July (17)
    2. June (15)
    3. May (1)
    4. April (4)
    5. March (11)
    6. February (9)
    7. January (10)
  2. 2020 (103)
    1. December (10)
    2. November (12)
    3. October (4)
    4. September (3)
    5. August (1)
    6. July (5)
    7. June (1)
    8. May (3)
    9. March (16)
    10. February (26)
    11. January (22)
  3. 2019 (199)
  4. 2018 (212)
  5. 2017 (281)
  6. 2016 (335)
  7. 2015 (211)
  8. 2014 (235)
  9. 2013 (251)
  10. 2012 (135)