

# Event Details

- **Event Name**: Free lecture part 2: Taming the Infinite with Proof Theory
- **Event Start and End Date**: Sun, 05 Apr, 2026 at 02:00 pm – Sun, 05 Apr, 2026 at 04:00 pm (-04:00)
- **Event Description**: Join us in-person for a free mathematical lecture series. This second and final lecture will take place on Sunday April 5, 2-4PM.About this EventFree Lecture Series: Taming the Infinite with Proof Theory (in Lean)Join us in person for an exciting FREE 2-part lecture series, open to the public and accessible to any mathematically-minded &amp; curious person.Lecture #1 (past event)Sun Mar 22, 2-4PM / The Art of ProofStarting 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 #2Sun Apr 5, 2-4PM / Infinity &amp; Self-ReferenceContinuing 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.Lecturer: Elan Roth, Fullbright Scholar  https://cdn-az.allevents.in/events4/banners/baa6ea40-2911-11f1-8836-0b7a2a33d517-rimg-w572-h740-dcd2dcd3-gmir.jpg   https://cdn-az.allevents.in/events2/banners/bad30350-2911-11f1-b5b5-27b5aa632dad-rimg-w555-h740-dcaaa295-gmir.jpg   https://cdn-az.allevents.in/events3/banners/bb06bd80-2911-11f1-8836-0b7a2a33d517-rimg-w555-h740-dcada293-gmir.jpg   https://cdn-az.allevents.in/events7/banners/bb32af80-2911-11f1-b5b5-27b5aa632dad-rimg-w658-h740-dc656059-gmir.jpg   https://cdn-az.allevents.in/events3/banners/bb6446d0-2911-11f1-8836-0b7a2a33d517-rimg-w555-h740-dc786146-gmir.jpg   https://cdn-az.allevents.in/events7/banners/bb8fc3a0-2911-11f1-81bb-73088445a57a-rimg-w987-h740-dc797974-gmir.jpg   https://cdn-az.allevents.in/events2/banners/bbbaa430-2911-11f1-8836-0b7a2a33d517-rimg-w555-h740-dc8db9f8-gmir.jpg
- **Event URL**: https://allevents.in/waterloo/free-lecture-part-2-taming-the-infinite-with-proof-theory/100001985879750793
- **Event Categories**: Art
- **Interested Audience**: 
  - total_interested_count: 0

## Ticket Details

- **Ticket URL**: https://consumer.pxf.io/c/1339408/3151484/39691?partnerpropertyid=1191892&MediaPartnerPropertyId=1191892&svlink=14105511&level=1&u=https%3A%2F%2Fwww.eventbrite.com%2Fe%2Ffree-lecture-part-2-taming-the-infinite-with-proof-theory-tickets-1985879750793
- **Ticket Price Range**: min: 0, max: 0, currency: CAD

## Event venue details

- **city**: Waterloo
- **state**: ON
- **country**: Canada
- **location**: 187 King St S unit 106
- **lat**: 43.4599395
- **long**: -80.5191001
- **full address**: 187 King St S unit 106, 187 King Street South, Waterloo, Canada

## Event Organizer details

- **affiliate_id**: 10
- **organizer**: Eastbridge Academy (https://allevents.in/org/eastbridge-academy/27308343)

## Event gallery

- **Alt text**: banner
  - **Image URL**: https://cdn-az.allevents.in/events1/banners/829b04f15c8514d27099b7173441c676745787726411a56b9069a2eb4812c510-rimg-w1200-h598-dcd1dcd3-gmir.jpg?v=1774529169
- **Alt text**: thumbnail
  - **Image URL**: https://cdn-az.allevents.in/events1/banners/97b125d889e064f5c164a99fd33883258febd7b4045fdbf829cd643bc4519dfc-rimg-w400-h400-dcd1dcd2-gmir.jpg?v=1774529168

## FAQs

- **Q**: When is the event happening?
  - **A:** Sun, 05 Apr, 2026 at 02:00 pm (-04:00)
- **Q**: Where is the event happening?
  - **A:** 187 King St S unit 106, 187 King Street South, Waterloo, Canada
- **Q**: What is the ticket price?
  - **A:** starting from 0 up to 0 CAD
- **Q**: Who is organizing the event?
  - **A:** Eastbridge Academy
- **Q**: What type of event is this?
  - **A:** Art
- **Q**: Where can I find ticket details about Free lecture part 2: Taming the Infinite with Proof Theory ?
  - **A:** You can find ticket details about this event on AllEvents.

## Structured Data (JSON-LD)

```json
[
    {
        "@context": "https://schema.org",
        "@type": "Event",
        "name": "Free lecture part 2: Taming the Infinite with Proof Theory",
        "image": "https://cdn-az.allevents.in/events1/banners/829b04f15c8514d27099b7173441c676745787726411a56b9069a2eb4812c510-rimg-w1200-h598-dcd1dcd3-gmir.jpg?v=1774529169",
        "startDate": "2026-04-05T14:00:00-04:00",
        "endDate": "2026-04-05T16:00:00-04:00",
        "url": "https://allevents.in/waterloo/free-lecture-part-2-taming-the-infinite-with-proof-theory/100001985879750793",
        "eventStatus": "https://schema.org/EventScheduled",
        "location": {
            "@type": "Place",
            "name": "187 King St S unit 106",
            "address": {
                "@type": "PostalAddress",
                "streetAddress": "187 King Street South",
                "postalCode": "N2L 0A5",
                "addressLocality": "Waterloo",
                "addressRegion": "ON",
                "addressCountry": "CA"
            },
            "geo": {
                "@type": "GeoCoordinates",
                "latitude": "43.4599395",
                "longitude": "-80.5191001"
            }
        },
        "eventAttendanceMode": "https://schema.org/OfflineEventAttendanceMode",
        "description": "Join us in-person for a free mathematical lecture series. This second and final lecture will take place on Sunday April 5, 2-4PM.",
        "offers": [
            {
                "@type": "AggregateOffer",
                "availability": "https://schema.org/InStock",
                "priceCurrency": "CAD",
                "availabilityStarts": "2026-03-26",
                "availabilityEnds": "2026-04-05T16:00:00-04:00",
                "validFrom": "2026-03-26",
                "lowPrice": "0.00",
                "highPrice": "0.00",
                "price": "0.00",
                "url": "https://allevents.in/waterloo/free-lecture-part-2-taming-the-infinite-with-proof-theory/100001985879750793"
            },
            {
                "@type": "Offer",
                "availability": "https://schema.org/InStock",
                "priceCurrency": "CAD",
                "availabilityStarts": "2026-03-26",
                "availabilityEnds": "",
                "validFrom": "2026-03-26",
                "url": "https://allevents.in/waterloo/free-lecture-part-2-taming-the-infinite-with-proof-theory/100001985879750793",
                "price": 0,
                "name": "General Admission"
            }
        ],
        "organizer": [
            {
                "@type": "Organization",
                "name": "Eastbridge Academy",
                "url": "https://allevents.in/org/eastbridge-academy/27308343",
                "description": "Eastbridge Academy offers a unique program designed for high school students who want to go deeper, think harder, and stretch beyond what's covered in the classroom. To support this vision, we run open community events throughout the year to promote the beauty of mathematics and computer science."
            }
        ]
    }
]
```