Events by year for Computability Seminar

Navigate to a particular year to see all events from that year.

« 2015 »

Wed Jan 28, 2015

Computability Seminar: Quinn Culver - University of Notre Dame

2:00 PM - 3:00 PM
258 Hurley Hall

Title: Yet another almost-sure result in probability holds on the randoms; a new law of large numbers

Abstract

Posted In: Computability Seminar

Wed Mar 18, 2015

Computability Seminar: Matteo Bianchetti - University of Notre Dame, Department of Philosophy

2:00 PM - 3:00 PM
258 Hurley Hall

Title: Infinite Time Turing Machines

Abstract

Posted In: Computability Seminar

Tue Apr 21, 2015

Computability Seminar: Jonny Stephenson - Valparaiso University

2:00 PM - 3:00 PM
125 Hayes-Healy Hall

Title: Effective packing dimension and array noncomputability

Abstract

Posted In: Computability Seminar

Thu Sep 3, 2015

Computability Seminar: Greg Igusa - University of Notre Dame

3:00 PM - 4:00 PM
125 Hayes-Healy Hall

Title: Computable Ramsey's Theorem for pairs needs infinitely many $\Pi^0_2$ sets

Abstract

Posted In: Computability Seminar and Logic Seminars

Thu Sep 10, 2015

Computability Seminar: Rose Weisshaar - University of Notre Dame

3:00 PM - 4:00 PM
125 Hayes-Healy Hall

Title: Understanding the Paris-Harrington Theorem, Part 1

Abstract

Posted In: Computability Seminar and Logic Seminars

Thu Sep 17, 2015

Computability Seminar: Rose Weisshaar - University of Notre Dame

3:00 PM - 4:00 PM
125 Hayes-Healy Hall

Title: Understanding the Paris-Harrington Theorem, Part 1

Abstract

Posted In: Computability Seminar and Logic Seminars

Thu Sep 24, 2015

Computability Seminar: Meng-Che (Turbo) Ho

3:00 PM - 4:00 PM
125 Hayes-Healy Hall

Title: Describing groups

Abstract

Posted In: Computability Seminar and Logic Seminars

Thu Oct 15, 2015

Computability Seminar: Mariya Soskova - Sofia University

3:00 PM - 4:00 PM
125 Hayes-Healy Hall

Title: Co-total enumeration degrees and the skip operator

Abstract

Posted In: Computability Seminar

Thu Nov 5, 2015

Computability Seminar: Noah Schweber - University of California, Berkeley

3:00 PM - 4:00 PM
125 Hayes-Healy Hall

Title: Higher-order reverse mathematics

Abstract

Posted In: Computability Seminar

Thu Nov 19, 2015

Computability Seminar: Ludovic Patey - Université Paris Diderot (VII)

3:00 PM - 4:00 PM
125 Hayes-Healy Hall

Title: Ramsey's theorem of compactness

Abstract

Posted In: Computability Seminar

Subscribe to iCal