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
About PS

Search for:

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

179337969_154474076680310_7142349580660319751_n

By Peter Smith / Leave a Comment / May 11, 2021 May 11, 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.

Δ

Subscribe

Get email notifications of blogposts, etc.

Subscribe via RSS

Blog archive

2022
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
Consone Quartet
Cuarteto Casals
David Fray
Doric String Quartet
Dover Quartet
Elisabeth Brauß
Francesco Piemontesi
Imogen Cooper
Ivana Gavric
Lea Desandre
Pavel Haas Quartet
Pavel Kolesnikov
Rachel Podger
Sabine Devieilhe

Recent comments

Peter Smith on Things ain’t what they used to be, CUP edition
Chris Grant on Things ain’t what they used to be, CUP edition
Rowsety Moid on Avigad, MLC — 1: What are formulas?
David Makinson on Gödel Without (Too Many) Tears — 2nd edition published!
Phil on Time to send them home …
Robert Smart on Category Theory: Lecture Notes and Online Books
katherine on The Annotated Gödel
Rowsety Moid on Avigad on Mathematical Logic and Computation
Richard Hennessey on Time to send them home …
Rowsety Moid on Avigad on Mathematical Logic and Computation

Twitter feed

Forgive another round of self-promotion — Musked Twitter seems a bit depleted of people helping to spread the word! The second edition of Gödel Without (Too Many) Tears is now available! Large format pbk (a mere £4.50/€5/$6) or free to download: logicmatters.net/2022/11/15/g… pic.twitter.com/qkxrrNzQur

About 5 days ago from Peter Smith's Twitter

Here to brighten five minutes of your day, from her brand new CD, is the amazing Lea Desandre singing Handel. youtube.com/watch?v=R1D3y_…

About 5 days ago from Peter Smith's Twitter

RT @craftylotus Frankly if you don’t spend hours on this website, I will be disappointed. maps.nls.uk/geo/explore/#z… pic.twitter.com/J5fS0kRCh5

About 6 days ago from Peter Smith's Twitter

RT @arisroussinos We experience London as a Victorian city, but the Victorians themselves inhabited a still partly medieval and Tudor streetscape: this doesn’t really come across in TV/film adaptations pic.twitter.com/R7PXTQ93G9

About 6 days ago from Peter Smith's Twitter

The wonderful Elisabeth Brauss plays Brahms and Schumann at Wigmore Hall (available again on YouTube -- start at 1.36). Brahms | 4 Klavierstücke, Op.119 Schumann | Faschingsschwank aus Wien, Op.26 (encore) Schumann | Kinderszenen Op.15 No.1 youtu.be/1TSOejafAPw?t=…

Last week from Peter Smith's Twitter

The print-on-demand set-up for the well caffeinated second edition of Gödel Without (Too Many) Tears seems to have propagated now to every Amazon! Treat yourself for less than the cost of a couple of weak cappuccinos. Or just download the PDF for free! logicmatters.net/2022/11/15/g… pic.twitter.com/aW7K1r3uHZ

Last week from Peter Smith's Twitter

Copyright © 2022 Logic Matters | Powered by Astra WordPress Theme

Scroll to Top