Skip to content

Logic Matters

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

Logic Matters

Search for:

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

35475991_10156121590961084_2506955316705361920_o

By Peter Smith / Leave a Comment / September 2, 2018 September 2, 2018

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
David Fray
Doric String Quartet
Francesco Piemontesi
Imogen Cooper
Ivana Gavric
Lea Desandre
Pavel Haas Quartet
Rachel Podger
Sabine Devieilhe

Recent comments

Peter Smith on The revised Study Guide — first-order logic
Peter Smith on The revised Study Guide — second-order logic
Peter Smith on The revised Study Guide — second-order logic

@PeterSmith’s tweets and retweets

Emily Thomas @emilytwrites·

"Kant," said Albert Einstein, "is a sort of highway with lots and lots of milestones. Then all the little dogs come and each deposits his contribution at the milestones."

Peter Smith @PeterSmith·

Just noticed that (for another week) you can listen on BBC Sounds to Elisabeth Brauß playing Schubert’s D.899 Impromptus. This strikes me as simply stunning playing. Just bowled over (& must have heard dozens of diff. perfrormances). https://www.bbc.co.uk/sounds/play/m000z5g9 from 10 mins in.

Copyright © 2021 Logic Matters | Powered by Astra WordPress Theme

Scroll to Top