MATHEMATICAL TRIPS
Showing posts with label logic. Show all posts
Showing posts with label logic. Show all posts

Thursday, November 3, 2022

An Invitation to Model Theory - by Jonathan Kirby, UEA

Posted by Mihai Caragiu
Email ThisBlogThis!Share to XShare to FacebookShare to Pinterest
Labels: algebra, logic, model theory

Wednesday, July 28, 2021

Computer Scientists Attempt to Corner the Collatz Conjecture

Quanta Magazine: Computer Scientists Attempt to Corner the Collatz Conjecture

"A powerful technique called SAT solving could work on the notorious Collatz conjecture. But it’s a long shot."

Posted by Mihai Caragiu
Email ThisBlogThis!Share to XShare to FacebookShare to Pinterest
Labels: Collatz Conjecture, computer science, logic, number theory, SAT solving

Sunday, May 9, 2021

Category Theory Foundations (Oregon Programming Languages Summer School 2012)

Posted by Mihai Caragiu
Email ThisBlogThis!Share to XShare to FacebookShare to Pinterest
Labels: category theory, computer science, logic
Older Posts Home
Subscribe to: Posts (Atom)
'Although the prime numbers are rigidly determined, they somehow feel like experimental data' ~ Timothy Gowers. Mathematics: A Very Short Introduction (Oxford Univ. Press, 2002)

Blog Archive

  • ▼  2026 (7)
    • ▼  October (1)
      • My new book - Undergraduate Research: An Eastern E...
    • ►  June (1)
    • ►  May (2)
    • ►  April (1)
    • ►  March (1)
    • ►  January (1)
  • ►  2025 (6)
    • ►  December (1)
    • ►  May (2)
    • ►  March (1)
    • ►  February (1)
    • ►  January (1)
  • ►  2024 (17)
    • ►  December (2)
    • ►  October (2)
    • ►  September (3)
    • ►  July (1)
    • ►  June (2)
    • ►  March (1)
    • ►  February (2)
    • ►  January (4)
  • ►  2023 (10)
    • ►  December (1)
    • ►  November (2)
    • ►  October (1)
    • ►  May (4)
    • ►  March (1)
    • ►  February (1)
  • ►  2022 (20)
    • ►  December (2)
    • ►  November (2)
    • ►  June (2)
    • ►  May (3)
    • ►  April (1)
    • ►  March (3)
    • ►  February (5)
    • ►  January (2)
  • ►  2021 (38)
    • ►  December (2)
    • ►  November (1)
    • ►  October (1)
    • ►  September (1)
    • ►  August (3)
    • ►  July (3)
    • ►  May (5)
    • ►  April (1)
    • ►  March (21)
  • ►  2016 (1)
    • ►  January (1)
  • ►  2015 (10)
    • ►  December (2)
    • ►  November (2)
    • ►  October (1)
    • ►  September (1)
    • ►  July (1)
    • ►  March (2)
    • ►  February (1)
  • ►  2014 (11)
    • ►  November (2)
    • ►  September (1)
    • ►  August (1)
    • ►  June (1)
    • ►  May (1)
    • ►  April (1)
    • ►  March (3)
    • ►  February (1)
  • ►  2013 (9)
    • ►  December (1)
    • ►  September (1)
    • ►  August (1)
    • ►  July (2)
    • ►  May (1)
    • ►  April (1)
    • ►  February (1)
    • ►  January (1)
  • ►  2012 (5)
    • ►  December (1)
    • ►  November (2)
    • ►  October (2)
  • ►  2011 (7)
    • ►  December (1)
    • ►  June (2)
    • ►  May (1)
    • ►  March (1)
    • ►  February (1)
    • ►  January (1)
  • ►  2010 (18)
    • ►  November (1)
    • ►  October (3)
    • ►  September (1)
    • ►  August (2)
    • ►  July (4)
    • ►  June (1)
    • ►  May (1)
    • ►  April (3)
    • ►  February (2)
  • ►  2009 (3)
    • ►  November (1)
    • ►  September (1)
    • ►  February (1)

Popular Posts

  • CV - Mihai Caragiu (5/19/2026)
  • Bernhard Riemann
  • Marius Dabija (13 ianuarie 1969-22 iunie 2003)
  • Vladimir Arnold - Hilbert 13
  • My new book - Undergraduate Research: An Eastern European’s Que
  • Ph.D. mathematician and NFL champion
  • The Phase Transition in Random Graphs: A Simple Proof
  • Contributed Math/Stat talks/posters at professional meetings - Ohio Northern UPDATED
  • A valuable memory
  • Leiden Declaration on Artificial Intelligence and Mathematics

My Blog List

  • Peter Cameron's Blog
    Windrush
  • The Mathletics Global Blog
    Introducing Mathletics Assess: A New Assessment Experience
  • What's new
    An experimental AI-math challenge: using tenth discriminant bounds to explore arguments ruling out Siegel zeroes
  • Gowers's Weblog
    How worried should we be about extinction risk from AI?
  • Hidden assumptions
    The principle of unitarity
  • The n-Category CafĂ©
    Binomial Coefficient Coincidences
  • AMS News
    American Mathematical Society Honors 2026 AMS EDGE Scholars
  • Tasks – YouCubed
    World Cup 2026
  • Richard E Borcherds
    Representations of GL2
  • Journals – Mathematical Association of America
    The American Mathematical Monthly
  • Theorem of The Day
  • Tim Gowers Mathematical Discussions
  • NCTM
  • Richard Borcherds
Show 10 Show All
Awesome Inc. theme. Powered by Blogger.