Calendar

Dec
10
Tue
Section 11.10
Dec 10 @ 10:30 am – 11:30 am
Dec
11
Wed
Logic seminar: David Ross
Dec 11 @ 2:30 pm – 3:30 pm
Dec
12
Thu
Review Ch. 6
Dec 12 @ 9:00 am – 10:00 am
Section 11.11 (non-physics part)
Dec 12 @ 10:30 am – 11:30 am
Dec
17
Tue
307 final
Dec 17 @ 9:45 am – 11:45 am
Dec
19
Thu
252A final
Dec 19 @ 9:45 am – 11:45 am
Jan
31
Fri
Logic seminar: Jack Yoon
Jan 31 @ 2:30 pm – 3:30 pm

The first meeting of the logic seminar will be today at 2:30–3:20 in Keller 314. Our speaker will be Jack Yoon, who will give an introductory lecture on reverse mathematics. An abstract for his talk is below.

I will introduce the basics of reverse mathematics and begin Hunter’s paper on higher order reverse topology, which can be found here: https://www.math.wisc.edu/logic/theses/hunter.pdf

Reverse mathematics is a study of foundations of mathematics by assessing the “strength” of the theorems from ordinary mathematics. Rather than starting from given axioms to prove a theorem, it asks a reverse question “which axioms are necessary to prove the theorem?”. Traditionally, reverse mathematics has played out within the second order arithmetic, but further progress has been made on higher order systems as well. For example, Hunter’s paper above branches out to higher order systems to study the theorems of topology.

Feb
14
Fri
Logic seminar: David Webb
Feb 14 @ 2:30 pm – 3:30 pm

The logic seminar today will be given by David Webb. A title and abstract are below.

Title: On The Levin-V’yugin Degrees

Abstract: I will define and discuss the Levin-V’yugin degrees, a measure algebra defined on collections of reals closed under Turing equivalence. Roughly speaking, in this ordering collections A and B have that A<B if for any probabilistic algorithm, the probability that it produces an element of A that is not in B is 0. Time permitting, I will prove that the computable reals and the random reals each form an atom in this Boolean algebra, and discuss other degrees and their positions in the lattice.

The paper this talk is based on is here: https://arxiv.org/pdf/1907.07815.pdf

Feb
21
Fri
Logic seminar: David Webb (II)
Feb 21 @ 2:30 pm – 3:30 pm
Feb
28
Fri
Logic seminar: Umar Gaffar
Feb 28 @ 2:30 pm – 3:30 pm
Jan
11
Mon
6.1 Inverse functions
Jan 11 @ 11:30 am – 12:30 pm
Jan
13
Wed
6.2* ln x
Jan 13 @ 11:30 am – 12:30 pm
Jan
15
Fri
6.3* e^x
Jan 15 @ 11:30 am – 12:30 pm
Jan
20
Wed
6.4* log_a x, a^x
Jan 20 @ 11:30 am – 12:30 pm
Jan
22
Fri
6.5 Exp. growth & decay
Jan 22 @ 11:30 am – 12:30 pm
Jan
25
Mon
Week 3
Jan 25 all-day
6.6 Inverse trig functions
Jan 25 @ 11:30 am – 12:30 pm
Jan
27
Wed
Hyperbolic functions
Jan 27 @ 11:30 am – 12:30 pm
Jan
29
Fri
6.8 L’Hopital’s rule
Jan 29 @ 11:30 am – 12:30 pm
Feb
1
Mon
7.1 Integration by parts
Feb 1 @ 11:30 am – 12:30 pm
Feb
3
Wed
7.2 Trig integrals
Feb 3 @ 11:30 am – 12:30 pm
Feb
5
Fri
Overleaf
Feb 5 @ 11:30 am – 12:30 pm
Feb
8
Mon
7.3 Trig substitution
Feb 8 @ 11:30 am – 12:30 pm
Feb
10
Wed
Trig sub / project
Feb 10 @ 11:30 am – 12:30 pm
Feb
12
Fri
7.4 Partial fractions
Feb 12 @ 11:30 am – 12:30 pm
Feb
15
Mon
Week 6
Feb 15 all-day
Feb
17
Wed
7.5 Strategy for integration
Feb 17 @ 11:30 am – 12:30 pm
Feb
19
Fri
7.7 Approximate integration
Feb 19 @ 11:30 am – 12:30 pm
Feb
22
Mon
Week 7
Feb 22 all-day
Prep for midterm
Feb 22 @ 11:30 am – 12:30 pm