Profile_bird

Hey there! olehjortland is using Twitter.

Twitter is a free service that lets you keep in touch with people through the exchange of quick, frequent answers to one simple question: What's happening? Join today to start receiving olehjortland's tweets.

Already using Twitter
from your phone? Click here.

olehjortland

  1. Intervju med Ian Hacking i Klassekampen: http://www.klassekampen.no/...
  2. @consequently Subscripts AND superscripts ... sigh.
  3. Ross Brady arrived today. Time for serious relevant logic in Arché.
  4. Perverse legislation: http://bit.ly/5oIXgD
  5. @alphabetofbeing Apropos: We just had von Plato here. He doesn't believe in real numbers. In fact, he thinks set theory is dead.
  6. Updated LaTeX. So far, no major incidents.
  7. More Google: http://bayarea.blogs.nytime...
  8. RT @nytimes: Google's Earth http://bit.ly/6HbdiD
  9. @AidanMcGlynn A /new/ paper can mean so many different things.
  10. @laugelina I promise I will tell you about that when we meet. Are you coming for Andri's birthday?
  11. The Deep Web explored by Guaridan: http://www.guardian.co.uk/t...
  12. Biking in storm. Bad idea. #nevertoolatetolearn
  13. Oh yes, and Gentzen had a proof of normalisation in 1933, so more than thirty years before Prawitz. These manuscripts must be published...
  14. von Plato just told us that most likely the only copy of a Gentzen quantum mechanics treatise was destroyed last year in a German archive.
  15. @consequently Will do!
  16. @egrefen I know... It will not happen again!
  17. Happy birthday, Gentzen. Gentzen Centenary Symposium in Arché today. Follow @ArchePhilosophy
  18. Making my way north again today. Catching up on some refereeing.
  19. @zemskysobor How true.
  20. "Applicants must be at postdoctoral or equivilent level"? Not sure what to do.