Can we make the Second Incompleteness Theorem Coordinate Free?

    Activity: Talk or presentation › Invited talk › Academic

    Period8 Jan 2009
    Event titleASL Winter Meeting
    Event typeOther
    LocationWashington DC, USAShow on map