TESTING THE CONSISTENCY OF MATHEMATICS BY COMPUTER

Logic and Computation Seminar

Wednesday, July 30, 2014 - 10:00am

Harvey M. Friedman

The Ohio State University

Location

University of Pennsylvania

DRL A-5

We adapt the new Pi01 incompleteness discussed in the Monday talk to a computer investigation which either provides an inconsistency in certain large cardinal hypotheses or arguably confirms their consistency.

July

S	M	T	W	T	F	S
	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

How to get to Penn's Mathematics Department

The Mathematics Department Office is located on the fourth (top) floor of David Rittenhouse Laboratory ("DRL"). The building is at 209 South 33rd Street (the Southeast corner of 33rd. and Walnut Streets). Note 33rd Street runs one way north while Walnut runs one way west.

Local Buses & Trains

SEPTA [Skookul]
National Trains: Amtrak [telephone: 1 800 872-7245]

Maps and Directions

We are about a 15 minute walk from the main 30th Street Station and 5 minutes from the University City Rail Station at 32nd and Spruce (=South Street & Convention Avenue). Coming from the airport by train (about 15 minutes): the University City Rail Station is the second stop after you leave the airport.

If you drive, the most convenient public parking is in the pay lot whose entrance is on 34th Street between Market and Chestnut Streets.