### Boole’s Rings

- A POW problem that can incentivize the energy efficient CNOT computer. November 18, 2017 Joseph Van Name
- A remark on Schimmerling’s question November 14, 2017 Assaf Rinot
- Classification of countable models of PA and ZFC November 14, 2017 Samuel Coskey
- A universal finite set, CUNY Logic Workshop, November 2017 November 11, 2017 Joel David Hamkins
- Security report for R5, the POW problem for Nebula. November 9, 2017 Joseph Van Name

### Comments on Boole’s Rings

- Comment on Trust me, I’m a doctor! by Stefan Mesken November 15, 2017 Comments for Asaf Karagila
- Comment on A universal finite set, CUNY Logic Workshop, November 2017 by Mohammad November 12, 2017 Comments for Joel David Hamkins
- Comment on Famous quotations in their original first-order language by Joel David Hamkins November 10, 2017 Comments for Joel David Hamkins
- Comment on Famous quotations in their original first-order language by Dee November 10, 2017 Comments for Joel David Hamkins
- Comment on The eightfold way by saf November 6, 2017 Comments for Assaf Rinot

# Monthly Archives: January 2012

## An incompleteness theorem for β_{n} models

My first paper was “An incompleteness theorem for $\beta_n$ models” with Stephen Simpson [1]. It’s a short paper, but the idea is very pretty. We know that the incompleteness theorem implies there are strange models of arithmetic, but these models … Continue reading

Posted in Papers, Research
2 Comments

## AMS/ASL Special Session on Alan Turing

I arrived home yesterday from the 2012 Joint Mathematics Meetings in Boston, where I was a co-organizer of the AMS/ASL Special Session on the Life and Legacy of Alan Turing. The talks were wonderful, and the session went very smoothly, … Continue reading

Posted in Meetings
Leave a comment