larvatus: (Default)
[personal profile] larvatus
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.
This account has disabled anonymous posting.
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting

2025

S M T W T F S

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 11th, 2025 05:57 pm
Powered by Dreamwidth Studios