{ "124494-21853099": { "datetime_modified":"20240903T161138", "datetime_start":"20241007T130000", "datetime_end":"20241007T140000", "has_end_time":1, "date_start":"2024-10-07", "date_end":"2024-10-07", "time_start":"13:00:00", "time_end":"14:00:00", "time_zone":"America\/Detroit", "event_title":"Science Success Series- Mindful Mondays", "occurrence_title":"Mindful Monday 5", "combined_title":"Science Success Series- Mindful Mondays: Mindful Monday 5", "event_subtitle":"", "event_type":"Workshop \/ Seminar", "event_type_id":"21", "description":"Give your brain some rejuvenation by taking a mindful study break. Come join us for an hour of connection, conversation, and crafts with fellow students. The WISE Mentors will be available to answer any questions you may have. Need a resume review, advice for picking classes, help making a study schedule? We've got you covered! \r\n\r\nThis is a drop-in style event where you can come and go as your schedule allows. Light snacks will be provided.", "occurrence_notes":null, "guid":"124494-21853099@events.umich.edu", "permalink":"http:\/\/events.umich.edu\/event\/124494", "building_id":"", "building_name":"", "campus_maps_id":"", "room":"", "location_name":"Chemistry Building, Science Learning Center Flex Space", "has_livestream":0, "cost":"", "tags":["Sessions"], "website":"https:\/\/sessions.studentlife.umich.edu\/p\/track\/12126", "sponsors":[ { "group_name":"Sessions @ Michigan", "group_id":"4791", "website":"https:\/\/sessions.studentlife.umich.edu\/" }, { "group_name":"Science Learning Center", "group_id":"2328", "website":"" }, { "group_name":"Women in Science and Engineering (WISE) Program", "group_id":"3737", "website":"http:\/\/wise.umich.edu" }, { "group_name":"Newnan LSA Pre-Health", "group_id":"4049", "website":"" } ], "image_url":"https:\/\/events.umich.edu\/media\/attachments\/2024\/09\/event_124494_original-1.png", "styled_images":{ "event_thumb":"https:\/\/events.umich.edu\/media\/cache\/event_thumb\/media\/attachments\/2024\/09\/event_124494_original-1.png", "event_large":"https:\/\/events.umich.edu\/media\/cache\/event_large\/media\/attachments\/2024\/09\/event_124494_original-1.png", "event_large_2x":"https:\/\/events.umich.edu\/media\/cache\/event_large_2x\/media\/attachments\/2024\/09\/event_124494_original-1.png", "event_large_lightbox":"https:\/\/events.umich.edu\/media\/cache\/event_large_lightbox\/media\/attachments\/2024\/09\/event_124494_original-1.png", "group_thumb":"https:\/\/events.umich.edu\/media\/cache\/group_thumb\/media\/attachments\/2024\/09\/event_124494_original-1.png", "group_thumb_square":"https:\/\/events.umich.edu\/media\/cache\/group_thumb_square\/media\/attachments\/2024\/09\/event_124494_original-1.png", "group_large":"https:\/\/events.umich.edu\/media\/cache\/group_large\/media\/attachments\/2024\/09\/event_124494_original-1.png", "group_large_lightbox":"https:\/\/events.umich.edu\/media\/cache\/group_large_lightbox\/media\/attachments\/2024\/09\/event_124494_original-1.png", "event_large_crop":"https:\/\/events.umich.edu\/media\/cache\/event_large_crop\/media\/attachments\/2024\/09\/event_124494_original-1.png", "event_list":"https:\/\/events.umich.edu\/media\/cache\/event_list\/media\/attachments\/2024\/09\/event_124494_original-1.png", "event_list_2x":"https:\/\/events.umich.edu\/media\/cache\/event_list_2x\/media\/attachments\/2024\/09\/event_124494_original-1.png", "event_grid":"https:\/\/events.umich.edu\/media\/cache\/event_grid\/media\/attachments\/2024\/09\/event_124494_original-1.png", "event_grid_2x":"https:\/\/events.umich.edu\/media\/cache\/event_grid_2x\/media\/attachments\/2024\/09\/event_124494_original-1.png", "event_feature_large":"https:\/\/events.umich.edu\/media\/cache\/event_feature_large\/media\/attachments\/2024\/09\/event_124494_original-1.png", "event_feature_thumb":"https:\/\/events.umich.edu\/media\/cache\/event_feature_thumb\/media\/attachments\/2024\/09\/event_124494_original-1.png" }, "occurrence_count":11, "first_occurrence":21853095 } , "126576-21857352": { "datetime_modified":"20241004T123644", "datetime_start":"20241007T130000", "datetime_end":"20241007T140000", "has_end_time":1, "date_start":"2024-10-07", "date_end":"2024-10-07", "time_start":"13:00:00", "time_end":"14:00:00", "time_zone":"America\/Detroit", "event_title":"Student Logic and History of Math Seminar (Invited Address): Provability Logic", "occurrence_title":"", "combined_title":"Student Logic and History of Math Seminar (Invited Address): Provability Logic: Professor Andreas Blass", "event_subtitle":"Professor Andreas Blass", "event_type":"Lecture \/ Discussion", "event_type_id":"13", "description":"Provability logic seeks to efficiently describe, by suitable axioms and rules of inference, what a reasonable theory can prove about its own provability predicate. Here \u201creasonable\u201d means that the theory can prove basic facts about the natural numbers; Peano arithmetic is more than enough.\r\n\r\nThe notation used in provability logic (meaning in the particular provability logic that I\u2019ll concentrate on) is the same as in most modal logics, namely ordinary propositional logic plus a modal operator, written as a box. But the box operator has the unusual interpretation \u201cit is provable that\u201d.\u00a0It turns out that this provability logic can be axiomatized by adding to ordinary propositional logic just one axiom (schema) and one inference rule. The rule is very simple, but the axiom expresses L\u00f6b\u2019s theorem, a far from obvious fact about provability.\r\n\r\nI\u2019ll begin by explaining L\u00f6b\u2019s theorem. Then I\u2019ll discuss the axiomatic system of provability logic and a few proofs in that system. Next, I\u2019ll describe the Kripke models of provability logic.\u00a0Finally, I\u2019ll discuss two completeness theorems for this logic, one saying that Kripke models provide a complete semantics, and the other saying that provability logic exactly captures what a reasonable theory can prove about its own provability.", "occurrence_notes":null, "guid":"126576-21857352@events.umich.edu", "permalink":"http:\/\/events.umich.edu\/event\/126576", "building_id":"1000166", "building_name":"East Hall", "campus_maps_id":"53", "room":"3866", "location_name":"East Hall", "has_livestream":0, "cost":"", "tags":["Graduate Students","Mathematics","seminar","Talk","Undergraduate Students"], "website":"", "sponsors":[ { "group_name":"Department of Mathematics", "group_id":"3791", "website":"" } ], "image_url":"", "styled_images":{ "event_thumb":"", "event_large":"", "event_large_2x":"", "event_large_lightbox":"", "group_thumb":"", "group_thumb_square":"", "group_large":"", "group_large_lightbox":"", "event_large_crop":"", "event_list":"", "event_list_2x":"", "event_grid":"", "event_grid_2x":"", "event_feature_large":"", "event_feature_thumb":"" }, "occurrence_count":1, "first_occurrence":21857352 } }