Skip to content

MAIN SITE >>
BLOG
IFL
GÖDEL
CATS
TYL
VARIA
LaTeX
About PS

Search for:

Home
Blog
Formal Logic
Gödel’s Theorems
Category theory
Teach Yourself Logic
Papers, etc.
LaTeX for Logicians

Search for:

Home
Blog
Formal Logic
Gödel’s Theorems
Category theory
Teach Yourself Logic
Papers, etc.
LaTeX for Logicians

5101TJxJoJL._SY496_BO1,204,203,200_

By Peter Smith / Leave a Comment / November 23, 2021 November 23, 2021

Post navigation

← Previous Media

Leave a Reply Cancel reply

Your email address will not be published. Required fields are marked *

Comment

Name*

Email*

Website

Save my name, email, and website in this browser for the next time I comment.

Δ

Newsletters

Blog archive

2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006

Logic/Maths blogs

Asaf Karagila's blog
Bartosz Milewski's blog
Boole's Rings
Gödel's Lost Letter
HOTT blog
Joel David Hamkins's blog
M-Phi
Proof Theory blog
Qiaochu Yuan's blog
Richard Zach's blog
Scott Aaronson's blog
Terence Tao's blog
The n-Category Café
Timothy Gowers's blog

Musicians' sites

Acad. Ancient Music
Alina Ibragimova
Angela Hewitt
Bachtrack
Belcea Quartet
Boris Giltburg
Chiaroscuro Quartet
Cuarteto Casals
David Fray
Doric String Quartet
Dover Quartet
Elisabeth Brauß
Francesco Piemontesi
Imogen Cooper
Ivana Gavric
Lea Desandre
Pavel Haas Quartet
Rachel Podger
Sabine Devieilhe

Recent comments

Rowsety Moid on Tim Button on set theory
David Auerbach on Beklemishev’s worm
Peter Smith on Beklemishev’s worm

@PeterSmith’s tweets and retweets

Archaeo - Histories @archeohistories·

Temple of Garni is a classical Hellenistic temple in Garni, Armenia. It is perhaps the best-known structure and symbol of pre-Christian Armenia. It was probably built by king Tiridates I in the 1st century AD, as a temple to the sun god Mihr.

#archaeohistories

Peter Smith @PeterSmith·

Have a modal day! Here’s a draft of the chapter on modal logics/provability logic for the Beginning Math Logic Study Guide. https://www.logicmatters.net/resources/pdfs/BeginModal.pdf (On second thoughts should be two chapters! Any other comments/suggestions?)

Copyright © 2021 Logic Matters | Powered by Astra WordPress Theme