OK, I’m finally both not on holiday and not on the support rota at work.
Date and time of first meeting
Friday 16th August, 7pm. Location: Notes, St Martin’s Lane (Trafalgar Square), should be open til 9pm. I’ll have a crew cut and will be wearing a Doge t-shirt. If it all goes wrong, in an emergency we can go and have nibbles at Prezzo instead.
Agenda: don’t know how far we’ll get, but I ambitiously hope we can fully grok Löb’s theorem itself by the end of this. You should first refresh your knowledge of first-order logic and Peano arithmetic if you need to.
An ideal venue would have whiteboards/blackboards, but I can’t rustle one of those up completely trivially. (Sorry to the remote people and people who couldn’t do Fridays.)
Bring writing implements and paper if you possibly can, and something to read the Internet with.
Once we’re there we can make a WhatsApp group. If you’re in the London Rationalish WhatsApp group, you already have my number in the meantime.
I am just about to put up my notes from the first session and to announce the next one! I’m intending Friday 23rd, again at Notes Trafalgar Square, 7pm.
I organised the first one at too short notice, so there were just two of us there, but there are several more people with “yes but give me more notice” status. Since there were only two of us, we went over groundwork in advance of the theorem itself. Still plenty of time for people to come in at the beginning!
OK, I’m finally both not on holiday and not on the support rota at work.
Date and time of first meeting
Friday 16th August, 7pm. Location: Notes, St Martin’s Lane (Trafalgar Square), should be open til 9pm. I’ll have a crew cut and will be wearing a Doge t-shirt. If it all goes wrong, in an emergency we can go and have nibbles at Prezzo instead.
Agenda: don’t know how far we’ll get, but I ambitiously hope we can fully grok Löb’s theorem itself by the end of this. You should first refresh your knowledge of first-order logic and Peano arithmetic if you need to.
An ideal venue would have whiteboards/blackboards, but I can’t rustle one of those up completely trivially. (Sorry to the remote people and people who couldn’t do Fridays.)
Bring writing implements and paper if you possibly can, and something to read the Internet with.
Once we’re there we can make a WhatsApp group. If you’re in the London Rationalish WhatsApp group, you already have my number in the meantime.
Ah, I can sometimes make fridays but not tomorrow. Hope it goes well.
I didn’t check my notifications frequently enough to see this. How far did you get into the theorem, and will there be another session?
I am just about to put up my notes from the first session and to announce the next one! I’m intending Friday 23rd, again at Notes Trafalgar Square, 7pm.
I organised the first one at too short notice, so there were just two of us there, but there are several more people with “yes but give me more notice” status. Since there were only two of us, we went over groundwork in advance of the theorem itself. Still plenty of time for people to come in at the beginning!