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.
Posted by at

1 comment:

  1. Harley D. Eades IIIOctober 15, 2014 at 4:01 AM

    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!

    ReplyDelete

Subscribe to: Post Comments (Atom)