Tuesday, October 14, 2014

Happy Ada Lovelace Day 2014!

This year for Ada Lovelace Day an algebraic logician Helena Rasiowa, famous for the Rasiowa-Sikorski Lemma in Set Theory. I have wanted for a long time to buy her book with Sikorski "The Mathematics of Metamathematics, but I also would've liked to have An Algebraic Approach to Non-Classical Logics.

Anyways one can always read Melving Fitting's  tribute to her.

1 comment:

  1. Whoop! A great day indeed!

    I had not seen Melvin Fitting's tribute. I am looking forward to reading it over lunch. Thanks for sharing it!