{"podcast":{"title":"Boston Computation Club","slug":"boston-computation-club-4031660","podcast_index_feed_id":4031660,"rss_url":"https://anchor.fm/s/5eee01ac/podcast/rss","website_url":"https://podcasters.spotify.com/pod/show/bostoncc","image_url":"https://d3t3ozftmdmh3i.cloudfront.net/production/podcast_uploaded_nologo/15826563/15826563-1623263635731-99a8ec66007e4.jpg","author":"Max von Hippel","episode_count":89,"summary":"The Boston Computation Club is a small seminar group focused on mathematical computer science, and computational mathematics. Its name is plagiarized from the London Computation Club. Boston Computation Club meetings occur roughly every other week, on weekends, around 5pm EDT (modulo speaker availability). The usual format is a 20m presentation followed by 40m of discussion. Some, but not all, meetings are posted on YouTube and in podcast form.","last_synced_at":"2026-09-08T12:21:35.234206+00:00","page_url":"https://stenobird.com/podcast/boston-computation-club-4031660"},"episode":{"title":"03/21/24: How and Why to extend First Order Logic for Knowledge-Based Systems with Marc Denecker","slug":"03-21-24-how-and-why-to-extend-first-order-logic-for-knowledge-based-systems-with-marc-denecker","published_at":"2025-04-05T18:15:28+00:00","page_url":"https://stenobird.com/podcast/boston-computation-club-4031660/03-21-24-how-and-why-to-extend-first-order-logic-for-knowledge-based-systems-with-marc-denecker","show_page_url":"https://stenobird.com/podcast/boston-computation-club-4031660","url":"https://podcasters.spotify.com/pod/show/bostoncc/episodes/032124-How-and-Why-to-extend-First-Order-Logic-for-Knowledge-Based-Systems-with-Marc-Denecker-e3157qn","audio_url":"https://anchor.fm/s/5eee01ac/podcast/play/100883735/https%3A%2F%2Fd3ctxlq1ktw2nl.cloudfront.net%2Fstaging%2F2025-3-5%2F397878598-44100-2-865eed3c36e6c.mp3","summary":"Today Marc Denecker joined us to present How and Why to extend First Order Logic for Knowledge-Based Systems . This presentation provided the setup for a follow-on that Marc's student Simon Vandevelde is set to give on IDP-Z3, a formal reasoning machine that Marc and Simon have built. This was a really interesting talk touching on a variety of forms for formal logic, decision procedures, and industrial use-cases thereof, potentially with profound implications for the future and realizability of so-called AGI.","meta_description":"Today Marc Denecker joined us to present How and Why to extend First Order Logic for Knowledge-Based Systems . This presentation provided the setup for a…","key_points":[],"chapters":[],"topics":[],"duration_seconds":3164,"processing_state":"not_requested","actions":[{"name":"request_transcript","method":"POST","url":"https://stenobird.com/v1/public/podcasts/boston-computation-club-4031660/episodes/03-21-24-how-and-why-to-extend-first-order-logic-for-knowledge-based-systems-with-marc-denecker/transcription-requests","description":"Idempotently request low-priority transcript generation for this episode."},{"name":"read_markdown","method":"GET","url":"https://stenobird.com/podcast/boston-computation-club-4031660/03-21-24-how-and-why-to-extend-first-order-logic-for-knowledge-based-systems-with-marc-denecker.md","description":"Read the agent-friendly Markdown representation of this episode resource."}]}}