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.