Free lecture part 2: Taming the Infinite with Proof Theory
05apr2:00 pm4:00 pmFree lecture part 2: Taming the Infinite with Proof Theory
Event Details
Join Eastbridge in-person for a free mathematical lecture series. This second and final lecture will take place on Sunday April 5, 2-4PM.Lecture #1 (past event)
Event Details
Join Eastbridge in-person for a free mathematical lecture series. This second and final lecture will take place on Sunday April 5, 2-4PM.
Lecture #1 (past event)
Sun Mar 22, 2-4PM / The Art of Proof
Starting from the Peano axioms, we’ll use Lean to explore what it means to prove something from first principles and to build mathematics step by step with complete precision.
Lecture #2
Sun Apr 5, 2-4PM / Infinity & Self-Reference
Continuing in Lean, we’ll push from arithmetic toward larger ideas about infinity, including Cantor’s diagonal argument and the first hints of self-reference in proof theory.
Time
Location
Eastbridge Academy
187 King St S Unit 106
Organizer
April
30apr7:00 pm10:00 pmImprov Workshop & Jam
Event Details
Pinch Arts presents: Improviser, director, and UWaterloo instructor Ben Gorodetsky is offering a 2 hour improv workshop & jam. Improv builds
Event Details
Pinch Arts presents:
Improviser, director, and UWaterloo instructor Ben Gorodetsky is offering a 2 hour improv workshop & jam.
Improv builds confidence, teaches storytelling, improves listening and collaboration, and allows you to be present in the moment. Taking an improv class is like supercharging your creative brain!
The 90 minute workshop portion will be followed by a 30 minute improv jam facilitated by Ben, exploring short form and long form improv games for a fun and immersive approach to collaborative comedy.
All skill levels welcome!
Pay what you can! ($20 suggested, but no one turned away). Click here to learn more and purchase your tickets.
Time
April 30, 2026 7:00 pm - 10:00 pm(GMT-04:00)Location
Visitor Information Centre
10 Father David Bauer Dr
Other EventsOrganizer
