Mathematical Logic
Meet other local people interested in Mathematical Logic: share experiences, inspire and encourage each other! Join a Mathematical Logic group.
1
members
1
groups
Frequently Asked Questions
Yes! Check out mathematical logic events happening today here. These are in-person gatherings where you can meet fellow enthusiasts and participate in activities right now.
Discover all the mathematical logic events taking place this week here. Plan ahead and join exciting meetups throughout the week.
Absolutely! Find mathematical logic events near your location here. Connect with your local community and discover events within your area.
Mathematical Logic Events Today
Join in-person Mathematical Logic events happening right now
HCCO at the Pride Parade
We will be marching again this summer at Pride. Come ready to show your Pride and stand-up for every human's right to love, respect, and family!
* **Step-off:** 10:30AM
* **Route:** High Street from the Capital to Goodale Park
Update: We are meeting at Bob Leonhard's house. You can park your car there and we will carpool to the parade. This will eliminate you finding parking in the city and excessive walking.
You SHOULD BE AT BOB'S HOUSE BY 8:45 a.m.! We will leave for the parade at 9:15 am sharp!
Bob's address: 2858 Thorndale Avenue, Columbus, OH 43207
If you have questions, his number is 614-301-7436
Drunken Philosophy: Where Is Everybody? The Fermi Paradox and the Great Filter
Welcome to Drunken Philosophy, a casual, curious, social discussion club. Come grab a drink and a seat at The Oracle.
**Optional topic for this meetup: Where is everybody?**
In 1950 the physicist Enrico Fermi was talking about aliens over lunch and asked a question that still has not gone away: if the universe is so vast and so old, and even a fraction of those billions of stars have planets, where is everyone? By the numbers the galaxy should be crowded with civilizations. Instead we look up and hear silence. That gap between "they should be everywhere" and "we see no one" is the Fermi Paradox.
One of the most unsettling answers is the idea of a **Great Filter**: somewhere on the road from dead chemistry to a galaxy-spanning civilization, there is at least one step that is almost impossible to get past. Maybe the filter is behind us. Maybe life starting at all, or simple cells becoming complex, or intelligence ever evolving, is the freak accident, and we already cleared the hard part. Or maybe the filter is ahead of us, and advanced civilizations reliably wipe themselves out before they spread.
Here is the part that messes with people. If we ever found life somewhere else, even pond scum on Mars, most people would call it the greatest discovery in history. But it might be the worst possible news. It would mean life is common, the early steps are easy, and the hard step is still in front of us. So the eerie silence overhead might actually be the best sign we could ask for.
**Questions to wrestle with:**
* Is it better to be alone? Would you rather we find alien life and learn we are not special, or find nothing and quietly improve our odds of surviving?
* Where do you bet the filter sits, behind us or ahead of us, and why?
* If it is ahead of us, what is it? Nuclear war, climate collapse, AI, something we cannot even picture yet? And can we do anything about a filter we cannot see coming?
* Two principles pull opposite ways here. The principle of mediocrity (the Copernican principle, Sagan's "no privileged place in the universe") says we are ordinary, so what happened on Earth probably happened everywhere, which makes the silence scream louder. The anthropic principle says of course we find ourselves somewhere life was possible, since we could not observe anything else, so our being here may say almost nothing about how common life is. Which lens do you trust, and does the silence still demand an answer once you account for observer selection?
* And if we did confirm life out there and had to accept we are not special, what would that do to belief in a higher power, and would shedding (or keeping) that belief help or hurt our odds of pulling together as one species?
* Does any of this change how you live, or how humanity should be spending its time and money right now?
As always the prompt is optional. Come for the conversation, stay for the drinks, and bring your own questions.
Microsoft Build - Columbus Edition!
We are bringing Microsoft Build sessions to Columbus Ohio!
The Central Ohio Azure Meetup and Central Ohio .NET Developer's Group (CONDG) are coming together to bring some of the labs and breakouts from Microsoft Build to your backyard. In this free, 1 day event, you are going to Build stuff with us!
And yes, there will be free food.
Please RSVP via [Microsoft Build //localhost:columbus | Microsoft Reactor](https://developer.microsoft.com/en-us/reactor/events/27247/).
Queer Quills
**We are expanding our creative programming opportunities with Queer Quills, a quiet writing and sharing space. Queer Quills features some prompts, supplies and friendly faces to help get some inspiration or feedback for your writing. Hope to see you there!**
Contra dance June 20 (First Unitarian Universalist Church) note new time!
# **Saturday, June 20, 2026**
**Beginners’ Session 1:30 to 2:00 PM**
**Dancing 2:00 to 4:30 PM**
**Band: Gem City Revelers**
**Caller: David Mould**
**You are invited to join us for dinner at Olive and Lime (in the church’s back parking lot) after the dance.**
**Location: First Unitarian Universalist Church, 93 W. Weisheimer Road, Columbus, OH 43214.**
**Cost is $10 for adults, $5 ages 12-25.**
**New to dancing? A beginners’ session, from 1:30 to 2:00 PM, will get you started. You will learn some basic figures that will be repeated in the afternoon’s dances. All dances will be taught and no partner is needed. Dancing is from 2:00 to 4:30 PM.**
**Please bring your own refillable water bottle.**
**All Soles Dance upcoming dance dates are, as follows:**
**July 25, 2026–Summer Potluck and Dance**
**No August Dance**
**September 26, 2026**
**October 17, 2026**
**November 21, 2026**
**December 19, 2026**
**Visit our website at: https://firstuucolumbus.org/connection/all-soles/**
Walk & Talk About Life's Big Questions
[The Board Walks](http://www.theboardwalks.com/) are for curious people who love deep conversations.
If that sounds like you, **bring a thoughtful topic** and join us for a 5-mile walk (10,000+ steps!).
**HOW IT WORKS**
**Step 1: Bring a topic**
Before you arrive, think of **one** topic you want to explore. A question. A thought that's been on your mind. An obsession you want to geek out on. This is your ticket to the event.
**Step 2: Circle up & share**
We gather in a circle. Your friendly walk host gives a speech to set the tone. Everyone shares: your name, what you're grateful for, and your topic. That's it. 60 seconds.
**Step 3: Walk, talk & float**
We walk 5 miles. You naturally drift into conversation with 2-3 people at a time, pulled by topics that spark your curiosity. When you're ready to move on, just say: "I'm going to float!"
**Step 4: Feel more alive**
Two hours flies by. You're back where you started — but you feel different. More alive. More energized. More connected to yourself and others. That's why regulars join 20+ times.
*For more details, read our [Orientation Guide.](https://www.theboardwalks.com/orientation)*
**HOW TO BRING A GREAT TOPIC**
A great topic = something you're genuinely curious about.
Recent topics include:
* "What are you passionate about right now?"
* "What makes a good friend?"
* "What's a belief you used to hold that you've completely changed?"
* "How do you want to be remembered?"
* "What would you do if money wasn't a factor?"
Think of your topic like the dish you're bringing to our conversational potluck. If everyone brings an A+ dish (i.e. energizing, uplifting, expansive), we'll all walk away feeling lighter and brighter.
**WHAT TO EXPECT**
This isn't a fitness event with casual chitchat. It's a walking think tank where we explore life's big questions together, beyond small talk. *If you're looking for light banter or a standard networking event, this probably isn't the right fit.*
But if you crave depth, genuine connection, and conversations that make you feel alive? You'll love it here.
**FAQ**
* Wear casual athletic attire and sneakers. It's a long walk!
* We have multiple first-timers at each event. We work hard to create a welcoming, inclusive, clique-free space.
* We welcome people of **all** ages, backgrounds, and industries who align with the [intention](https://www.theboardwalks.com/ground-rules) of this space.
* Rain or shine, we've been out here nearly every week since July 2022. If the event is cancelled, we'll let you know.
* Dogs, babies in strollers, parents, and friends are welcome — please text/email them the event link so they can RSVP and prepare a topic!
**LOGISTICS**
* If you'll arrive over 10 minutes late, we suggest skipping the event. It's hard to find us once we start walking, and your host can't answer messages during the event.
* This walk is designed for everyone to *move together at the same steady pace* (about 20 min/mile). This format works best when the whole group moves in unison. If you have mobility limitations, we kindly encourage you to find an event better suited to your needs.
* Read our [Orientation Guide](https://www.theboardwalks.com/orientation) for full details.
* If you enjoy the event, send **[this](http://www.theboardwalks.com/)** to a friend or sign up for our **[newsletter](https://theboardwalks.beehiiv.com/)**. We're in multiple cities with more on the way. 🤠👋
**IF YOU WANT TO GO DEEPER...**
[The Board](https://stan.store/ellebeecher/p/the-board) is the next step: a high-trust collective for renaissance people devoted to creating, connecting, and building lives that light us up.
* This is a global HQ for people who crave big talk, deep connection, and dream collaborations with people across industries. If the walks feel like a spark... The Board is the fire. Apply [here](https://stan.store/ellebeecher/p/the-board).
Mathematical Logic Events This Week
Discover what is happening in the next few days
Sunday Brunch
Sleep in on Sundays. When you've had your fill of pajama-time, roll out and have some tasty brunch with your fellow Humanists!
Columbus Museum of Art, Free Admission Sundays
Let’s meet and wander the galleries! General admission on Sundays is free.
Columbus Code & Coffee 87 @ Improving
Columbus Code & Coffee is an inclusive, informal co-working session. People of all skill levels attend, and we love it that way. Many people (optionally) bring projects to work on, and many other people (optionally) socialize the entire time. It's entirely up to you!
**What to Expect at the Intro Circle**
\~\~\~\~\~\~\~\~\~\~\~\~\~
Near the beginning of the event (1:30 pm), we do a standup:
* Organizer announcements, updates, and logistics
Round 1 - (7 secs max):
* Your name
* What you're working on
* What you can help others with
Round 2:
* Community events you wanna plug. If none, that's cool too.
Round 3:
* Job opportunities you're hiring for OR announce that you are looking for one. If none, that's cool.
After the introduction circle, everything is self-organized! Feel free to work alone, pair up, attend one of our workshops/presentations, or mingle!
Sunday Afternoon Coffee at Grandview Grind
Who else is ready to sit outside?
Join us for a casual chat over coffee & tea at Grandview Grind! Come out and meet some new people, enjoy your favorite drink, and make some new friends!
Pattycake🧁 Meetup after Cbus Park of Roses Yoga
Join us Saturday June 20th after yoga for drinks and sweets at this delicious Vegan co-op bakery. Mingle with likeminded Columbus Vegans🤩
We will aim to sit outside after purchasing items and hopefully taking in lovely weather.
Special note on parking: Please try to park along Acton, Richards and/or Chatham streets so as to free up the lot at the back of the building for pick-up orders. Thank you. 😊
Patty Cake offers everything from cupcakes, cookies, cakes, muffins, whoopie pies, as well as gluten free goodies. They also have coffee, oat milk and cold brew.
You can view them on their website [here](https://www.pattycakebakery.com/goodies)
Saturday Mornings @ East Market
Let's grab some coffee/food and share a morning chat! The East Market has an ample parking lot and outdoor and indoor seating.
Grab a cup of coffee from Winston's Coffee & Waffles or on your way to East Market and meet us on the second floor - table behind or east of the elevator.
Per what this group is about:
"Everyone is welcome! International transplants to Columbus who want to improve language skills, Columbus residents who enjoy talking to people from other countries, and those who would like to discuss international travel and culture, and who enjoy getting together for good conversations."
Mathematical Logic Events Near You
Connect with your local Mathematical Logic community
Omnipresent Atheists Weekly Meetup
Jimmy V's Grill & Pub in Grandview Heights. You are responsible for your own meal/drinks. We usually don't have any agenda other than eat, drink and talk. :) If the weather is nice we will be on the back patio, otherwise we are in the cigar room.
This group has been meeting every Tuesday evening for over a decade. Many attendees do not RSVP on meetup. Please don't let the small number here discourage you. Anyone/everyone is welcome to come. We'd love to have you join us.
COTA bus #5 comes to W. 5th and Wyandotte Rd. And it's a minute walk to the restaurant.
CAPA Summer Movie: PRETTY WOMAN at the Ohio Theatre!
Join us as we get together for a CAPA Summer Movie event to see the romantic, funny, heartwarming, feel-good classic, PRETTY WOMAN! Julia Roberts and Richard Gere star in this modern-day fairy-tale romance! Here’s a description, trailer and plan for this event:
DESCRIPTION: A wealthy corporate raider hires a Hollywood escort as his date for a week of high-society business events. But what starts as a business transaction blossoms into genuine love, challenging both of their lives and leading to an unexpected romance. The film is directed by Garry Marshall and stars Richard Gere, Julia Roberts, Héctor Elizondo, Ralph Bellamy (in his final performance), Laura San Giacomo and Jason Alexander.
MINI TRAILER: [https://www.youtube.com/watch?v=K-JghOdhAwc](https://www.youtube.com/watch?v=K-JghOdhAwc)
SHORT BONUS CLIP #1 - DIRECTOR GARRY MARSHALL Recalls Famous Scenes from the Film: [https://www.youtube.com/watch?v=HpIMOzieGPs](https://www.youtube.com/watch?v=HpIMOzieGPs)
SHORT BONUS CLIP #2 - RICHARD GERE on the Film’s Impact all these years later: [https://www.youtube.com/watch?v=O0T3O94dAA8](https://www.youtube.com/watch?v=O0T3O94dAA8)
SHORT BONUS CLIP #3 - JULIA ROBERTS Remembers a Gift from Director Garry Marshall: [https://www.youtube.com/watch?v=pJ4AZSjbMsA](https://www.youtube.com/watch?v=pJ4AZSjbMsA)
BUZZ & ACCLAIM: A huge box office hit at the time of its release, PRETTY WOMAN has since gone on to become a modern-day classic! The film catapulted Julia Roberts to superstardom and earned her a Golden Globe for Best Actress and her first Oscar nomination! Critics praise Julia Roberts’ star-making performance, the undeniable chemistry between her and Richard Gere, and its warm, funny feel-good story about kindness, self-worth and transformation! The film’s “intelligence and wit,” “first-class performances” and “sharp, funny script” have made Pretty Woman a classic and truly “something special!”
THE OHIO THEATRE: The Ohio Theatre is located at 39 E. State Street, between 3rd and High Streets, across the street from the Ohio Statehouse. From classical music to modern dance, yearly family traditions to hot concerts, the world’s best artists come to the 2,791-seat, historic Ohio Theatre. The breathtaking details (including the 21-foot-high chandelier!) of its opulent, Spanish-Baroque architecture make any night at the Ohio Theater an event to remember!
PRE-SHOW ENTERTAINMENT: Now celebrating his 33rd year as featured organist for the CAPA Summer Movie Series, Clark Wilson will again provide pre-show entertainment at the keyboards and controls of the Ohio Theatre’s treasured “Mighty Morton” theatre organ 30 minutes prior to each screening.
PARKING: Parking is available at Columbus Commons Parking Garage off 3rd or Rich Streets or in Statehouse Parking Garage off 3rd Street. You can find out more about parking in Downtown Columbus by visiting the Downtown Columbus website.
PLAN: Purchase your ticket for the 7:30pm showing and we’ll meet outside the theater between 6:50 and 7:00pm. We’ll head in at 7pm to get good seats and enjoy the pre-show organ music!
TICKETS: Tickets just $6 adult / $5 senior! Parking is available under the Capital building, in the nearby garage, or on the nearby streets. You can purchase your ticket at the box office on the day of the event or online here: [https://www.capa.com/capa-summer-movie-series/](https://www.capa.com/capa-summer-movie-series/)
Look forward to seeing you there, Dan
Customize the IDE: Building Extensions for Visual Studio Code - Alan Barber
**Important time note:** Please plan on arriving between 5:30 and 6:00 as the elevators lock after 6 and you'll need to message us and we'll need to come get you.
The building address is 4450 Bridge Park
The entrance is 6620 Mooney St, Suite 400
You will need to scan your ID at the door to get a visitor badge.
**Abstract**
*Customize the IDE: Building Extensions for Visual Studio Code*
Visual Studio Code is one of the most widely used development environments today, and much of its flexibility comes from its extension ecosystem. Extensions allow developers to customize the editor with new features, integrations, and workflow improvements tailored to their needs.
In this session, we’ll cover what extensions are and the different types available, including full extensions written in TypeScript or JavaScript, along with lighter-weight extensions such as color themes, language packs, language support, code snippets, and keymaps. We’ll also look at practical reasons a developer might create an extension, from automating repetitive tasks to adding custom tooling.
The session includes a hands-on walkthrough of creating a new extension, testing it locally, and understanding the basic project structure. We’ll close with a brief overview of how extensions are packaged and published to the Visual Studio Marketplace and other distribution options.
**YouTube Link**
TBD
Super Friday: SUPERGIRL at Cinemark Stoneridge!
Join us for an Opening Night showing of the super-hero action-adventure, SUPERGIRL! Get in early because this series is just getting started! Hot on the heels of last year’s excellent SUPERMAN comes what should be another fun adventure! Here’s a description, trailer and plan for this event:
DESCRIPTION: Kara Zor-El, aka Supergirl, joins forces with an unlikely companion on an interstellar journey of vengeance and justice when an unexpected adversary strikes too close to home. The film is directed by Craig Gillespie, written by Ana Nogueira, and stars Milly Alcock, Matthias Schoenaerts, Eve Ridley, David Krumholtz, Emily Beecham, David Corenswet and Jason Momoa.
TRAILER: https://www.youtube.com/watch?v=s1-pfiVMKAs
PLAN: Please purchase your ticket for the 7:00pm showing and meet in the lobby area between 6:40 and 6:50pm! It’s in their largest theater on their biggest screen but advance ticket purchase is advised for this Opening Night showing! Once you have yours, please list your seat number in the Comments below. Possible pre-show bite. That part will be confirmed/announced as the date gets closer.
Look forward to seeing you there, Dan
COUNT RMH Housewarmer Volunteering (Ronald McDonald House)
Some trained COUNT volunteers work together once a month at RMH (http://www.rmhc-centralohio.org/volunteer.php) as Housewarmers (usually on the 1st Sunday from 1 – 5 PM). Some schedule other shifts at their convenience. You may try this out with less fuss by following a "Fast track" or go through the normal process.
Fast track
• Arrange a time to shadow a COUNT volunteer. Call Dave Nohle at 614-268-9558 (cell).
• Show up and try it out.
• Complete application, etc. later.
Normal process
• Complete an online application (http://rmhc-centralohio.org/volunteer/).
• Attend orientation in advance.
• At orientation you will complete forms agreeing to keep family/patient info private and allowing a background check and tour the facility.
• Complete one training shift. Daily shifts are: morning 9 AM - 1 PM, afternoon 1 - 5 PM and evening 5 - 9 PM.
• Schedule shifts online using the on the RMH scheduling system (http://www.volgistics.com/ex/portal.dll/?FROM=32895).
The Ronald McDonald House (RMH) provides housing and meals for families with sick children. The Columbus RMH is the largest in the world with 137 rooms. COUNT has been volunteering there since May 2014.
Housewarmers work with RMH guests to provide a home-like environment - greet, assist with family needs, answer phones, give tours, assist with checkin/checkout, prepare guest rooms after checkout, clean facility, laundry, restock supplies and staff the front desk. RMH Housewarmers volunteer at least one four-hour shift a month. All Housewarmers must complete an application and agree to a background check before they can be full fledged volunteers.
COhPy Monthly Meeting
**Improving Office in Franklinton**
Physical location:
Improving Office
330 Rush Alley Suite #150
Columbus, OH 43215
Schedule:
6:00 p.m.: Socialize, eat, and drink. Improving will be providing pizza and beverages.
6:30 to 8:00 pm. Main meeting and presentation(s).
Topic: This month Chris Pazsint will be talking about Agentic Coding. How does one use CLI Based Agents, and Agentic IDEs such as Cursor, Kiro, Antigravity? How to include agentic coding plugins for IDEs you already love such as Visual Studio Code.
We meet on the last Monday of each Month. Presentations are given by members and friends of this group. If you would like to do a presentation (small or large) on a python topic, please contact Central OH Python at centralohpython@gmail.com
St. Petersburg Zoom Online Speed Dating
**🌹 Speed Dating Night for St. Petersburg Singles — On Zoom**
Spend an evening meeting St. Petersburg singles face to face on Zoom, matched by age and personality before you arrive.
**What to expect:**
- Register and take a short personality quiz
- Jump on Zoom when the event starts
- Meet singles in guided one-on-one rounds
- Get your mutual matches by email afterward
**Find your bracket and grab a seat:**
→ **Ages 18-32** — [Register here](https://theliveround.com/product?productId=573&productType=onlineSpeedDating&city=St.%20Petersburg&groupurlname=local-singles-seeking-genuine-connection-brunch-club&ar=18-32&face_v=6.0)
→ **Ages 30-46** — [Register here](https://theliveround.com/product?productId=573&productType=onlineSpeedDating&city=St.%20Petersburg&groupurlname=local-singles-seeking-genuine-connection-brunch-club&ar=30-46&face_v=6.0)
→ **Ages 40-58** — [Register here](https://theliveround.com/product?productId=573&productType=onlineSpeedDating&city=St.%20Petersburg&groupurlname=local-singles-seeking-genuine-connection-brunch-club&ar=40-58&face_v=6.0)
→ **Ages 55+** — [Register here](https://theliveround.com/product?productId=573&productType=onlineSpeedDating&city=St.%20Petersburg&groupurlname=local-singles-seeking-genuine-connection-brunch-club&ar=55+&face_v=6.0)
> Note: clicking RSVP alone won't get you in. Register via your age group and take the quiz. Places fill up.
See you on Zoom, St. Petersburg. 🌷




















