Skip to content

Mathematical Logic

Meet other local people interested in Mathematical Logic: share experiences, inspire and encourage each other! Join a Mathematical Logic group.
pin icon
1
members
people1 icon
1
groups

Largest Mathematical Logic groups

  • Photo of the user Member 1
  • Photo of the user Member 2
1 members

Newest Mathematical Logic 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

Sugarbush Trail Hike
Sugarbush Trail Hike
Join us for a great 2 mile hike through Blendon Woods Metro Park, hiking the Sugarbush Trail. This is a largely wooded hike on a flat dirt trail with some tree roots and rocks. Please meet us at the start of the trail in the Nature Center parking lot.
Claude Code with Unity
Claude Code with Unity
A session on using Claude Code, Anthropic's AI coding agent, in real Unity development. We'll cover what coding agents are, where Claude Code fits, and how to apply it to an actual game project. The format is presentation-style, with live demos and time for questions throughout. After brief scene-setting on coding agents and what makes Claude Code distinct, we'll go problem-driven: demoing it live on a released Unity game and introducing each feature as a solution to a problem we hit. What to Expect: * An intro to coding agents and where Claude Code fits * A live demo on a real Unity project * Key features as solutions to real problems: 𝖢𝖫𝖠𝖴𝖣𝖤.𝗆𝖽, context management, hooks, skills, subagents, and MCP * Unity-specific pain points, including Domain Reload and MCP caveats * Putting it together All experience levels welcome. Food and drinks provided. *Note: meetup topics may change — check back for the latest details.*
Fundamentals: by do Jung Ishu/ the art of fighting
Fundamentals: by do Jung Ishu/ the art of fighting
We are a real world Martial arts group. \ Called DO JUNG ISHU (the art of fighting) \ Based off of Jeet kune do we just continued where Bruce Lee left off. \ We have been around a while. \ Every week we get together and work technical skills and full contact spar. \ Almost all of the instructors have been in everything from street fights to the ring and some still compete in cage fighting. \ If you want to take your skills up, improve your confidence, gain self defense skills, get in better shape, test yourself or just want to kill some time and possibly get hit a bit come on down. \ We will be located at 3923 N High St, Columbus, OH 43214 Outside in the grass between the playground and horseshoe area. our instructors are normally in a black and red art of fighting shirt \ if you can not find us call or text me at 6143570295 Saturday 1:30pm Wednesday 5:45pm From Age 16 and up. attendees under the age of 18 must have a guardian with them. \ Wear workout clothes. \ Bring a MOUTHPIECE! \ WE HAVE GLOVES. \ $10 per class $5 per class if you are wearing a club shirt Club shirts are $25 Hope to see you soon. \ let me know if you have any questions :)
Beginner and Intermediate Salsa Dance Classes with Todd Smith!
Beginner and Intermediate Salsa Dance Classes with Todd Smith!
**✅ Salsa Wednesdays with Todd Smith!** **👉 Beginner Salsa Class** **$15 In Advance / $20 At the Door** 7:00 pm – 7:15 pm … Registration 7:15 pm – 8:15 pm … Beginner Class **👉 Intermediate Salsa Class** **= $15 In Advance / $20 At the Door** 8:15 pm – 8:30 pm Registration 8:30 pm – 9:30 pm Intermediate Class **👉 If You Take Both Salsa Classes** **= $25 In Advance / $35 At the Door** **👉 Buy Advance Tickets Now at:** https://columbussalsadancing.com/salsa-wednesdays-dance-class-tickets/ **👉 Questions? Text Todd @ (614) 774-8146**
Father/Son Men's Group (Bi-weekly)
Father/Son Men's Group (Bi-weekly)
Join us every other Wednesday during the summer at 5:30pm at Blendon Woods Inclusive Playground. Starts Wednesday June 17th. **Agenda** 5:30-6:15 Kids Play & Dad's Meet 6:15-6:45 Snacks & Father/Son Men's Group Circle \- Simple intro Round \- What are Dad & Son working on? \- Various Topics for Fathers and Sons\(What does it mean to be a man? Etc\.\) 6:45-7 Close. Go get food or keep playing. Mario will lead this group and hold the space. Generally, it is a laid-back, open group that can be modified to accommodate those who show up. If people want to go get dinner after, we can :) It's all about making friends and building a positive community. Mario has led men's groups for several years, sponsored by Speak Your Mind, an Ohio Non-Profit organization with a focus on men's mental well-being. Click here to learn more about SYM: https://linktr.ee/taketimespeakyourmind). All events are non-denominational and donation-based. No one will be turned away for their beliefs or financial position. Suggested donation is $5 per family per meeting (Covers the cost of meetup). **Donation link**: https://secure.givelively.org/donate/angels-for-angels/speak-your-mind **Liability Waiver** to fill out before your first event (Required). This covers the non-profit in the event of any accidents. https://form.jotform.com/242207035182144 Contact Mario with any questions: 808-855-8831 Address: 4265 E. Dublin Granville Road Columbus, OH 43081 Follow signs to the back of the park (Inclusive Playground)

Mathematical Logic Events This Week

Discover what is happening in the next few days

HCCO at the Pride Parade
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
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.
Sunday Brunch
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!
The Alliance All-Voices Chorus Open Rehearsal
The Alliance All-Voices Chorus Open Rehearsal
The Alliance is part of the Greater Central Ohio Chapter of the Barbershop Harmony Society. We are an all-voices chorus dedicated to providing an inclusive environment for all those who love to sing, regardless of their race, gender identity, sexual orientation or musical background. The Alliance is the first and only all-voices barbershop chorus in Central Ohio. **Who:** Anyone with a passion for singing at a high level. Previous barbershop chorus/quartet experience not required. **When:** The Alliance rehearses weekly on Thursdays from 7pm-10pm. **Where:** Lord Of Life Lutheran Church: 2480 W Dublin Granville Rd, Columbus, OH 43235 To become a full member of The Alliance, we welcome you to start by visiting us for a few rehearsals to experience the group and sing with us! Then, you may begin the 2-part audition process for membership: the assessement, and audition. We strive to make our auditions as stress-free as possible to help you let your best singing self shine.
Microsoft Build - Columbus Edition!
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/).
Prototype, Play, and Build Workshops (In-Person @GameArena)
Prototype, Play, and Build Workshops (In-Person @GameArena)
We're going to GameArena! We'll be in-person at the GameArena Gateway for our monthly COGG Prototype and Play event. Come to play and showcase your games! We're back in the upper levels of the catwalk area. It'll be packed with lots of camaraderie playing your game(s) and other's games on the 2nd floor. Light snacks and water provided but you can buy food and drinks at the bar (alcoholic drink ID required). [www.game-arena.co](http://www.game-arena.co/) **Attendees:** Don't have a game to show? Not a problem! All are welcomed and invited from all ages and backgrounds. The more we can have to play test our games is all the better! **Developers:** Do you have a game that you would like to get critical feedback on? Would you like an excuse to work on a game with other talented artists, programmers, musicians, designers, and writers? Digital, table-top, non-experienced developers, and the like are welcomed! We'll provide signage for your game to help others learn more about your work. Wifi, outlets, tables, and seats (though standing tables also) are available. Come to the Prototype and Play workshop to collaborate and meet local game developers for an evening of epic and raw game play fun! Play works-in-progress, show off your own game, work with others to add polish to a game, or even lend your talents to other fellow developers. For this event, light snacks from the bar and water will be provided! Though you can purchase you own if you like at the bar: [https://www.game-arena.co/menu](https://www.game-arena.co/menu) Can use South Garage at the Gateway with a $5 voucher on your way out. 75 E 11th Ave, Columbus, OH 43201 [https://maps.app.goo.gl/UwgveUYG37Jy7RtS9](https://maps.app.goo.gl/UwgveUYG37Jy7RtS9) If you have any questions or comments, as always, feel free to reach out to us at [info@thecogg.com!](http://info@thecogg.com!/)
DoJo (Informal Python Meeting)
DoJo (Informal Python Meeting)
**Latest Dojo Location!** **Knotty Pine Brewing** 1765 W 3rd Ave, Columbus, OH 43212 We're going to try a new dojo location for a few weeks and see how it works Dojos are informal Python group study sessions where everyone interested in Python gathers to learn about Python, help others with Python, or just hang out. Everyone is welcome from Python beginners to experts. Bringing a laptop is encouraged (we'll have extension cords and power strips). If there's something you want to learn leave a comment on this invite so we can plan ahead. We're looking for speakers for our Monthly Meetups! Fill out the form if you are interested in presenting to the Python Community. https://forms.gle/ehSfUAC2WgR34Crq9

Mathematical Logic Events Near You

Connect with your local Mathematical Logic community

Omnipresent Atheists Weekly Meetup
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!
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
Super Friday:  SUPERGIRL at Cinemark Stoneridge!
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
Customize the IDE: Building Extensions for Visual Studio Code - Alan Barber
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
COhPy Monthly Meeting
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
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. 🌷
Detroit Zoom Online Speed Dating
Detroit Zoom Online Speed Dating
# 💞 Zoom Speed Dating: Detroit Singles, One Night _A handful of quick, real conversations with Detroit singles — paired to you by age and vibe, all from wherever you're comfiest._ **Four easy steps:** 1. Sign up and answer a few quick personality questions 2. Hop onto Zoom right as we kick off 3. Chat one-on-one through guided rounds 4. Wake up to your mutual matches in your inbox --- **Pick your group below and you're in:** 💘 **Ages 18-32** → [Grab your spot](https://theliveround.com/product?productId=574&productType=onlineSpeedDating&city=Detroit&groupurlname=cityscape-navigators-park-orienteering-team&ar=18-32&face_v=9.0) 💘 **Ages 30-46** → [Grab your spot](https://theliveround.com/product?productId=574&productType=onlineSpeedDating&city=Detroit&groupurlname=cityscape-navigators-park-orienteering-team&ar=30-46&face_v=9.0) 💘 **Ages 40-58** → [Grab your spot](https://theliveround.com/product?productId=574&productType=onlineSpeedDating&city=Detroit&groupurlname=cityscape-navigators-park-orienteering-team&ar=40-58&face_v=9.0) 💘 **Ages 55+** → [Grab your spot](https://theliveround.com/product?productId=574&productType=onlineSpeedDating&city=Detroit&groupurlname=cityscape-navigators-park-orienteering-team&ar=55+&face_v=9.0) > ⚠️ Don't get caught out: RSVP alone won't seat you. Register via your age group and take the quiz to hold your place. Spots go fast. **Someone good is one click from saying hi. 💞**