torkel franzén is dead

Apr 20, 2006 10:11

Looking back over fifteen years of Usenetting, I gratefully recall one man selflessly expending his time and effort on making it a better place. Torkel’s learned and benevolent presence single-handedly made up for a myriad ephemeral and persistent sophistical frauds striving to overwhelm our forum with self-serving nonsense. I am proud to have benefitted from his learning and character.
    Torkel Franzén earned his PhD in philosophy in 1987 for work on provability and truth, available online and in hard copy in the imprint of Acta Universitatis Stockholmiensis, deposited at university libraries worldwide. He was a world-class expert on incompleteness and inexhaustibility and an able and tireless expositor of the use and abuse of Gödel’s Incompleteness Theorems. Torkel will be remembered and celebrated for his incisive contributions to logic and his magnanimous bestowals of honesty and wisdom in public discourse. My condolences for this untimely loss go out to his friends and family.

memory, usenet, death, logic

Previous post Next post
Up