I am a theoretical computer scientist, mainly concerned with logics; proof theory and automated theorem proving. I am developing tools to ease my life.
Note about cs.stackexchange: I've been here for one day. I saw several correct answers concerning recursion theory which were hardly visible due to the incapacity of apparently most individuals in this community. Meanwhile, accepted answers are false, excessively upvoted, with comment sections guarded by moderators deleting critical comments. My answer based on expertise was downvoted 3 times in a few hours thus rendered virtually invisible. What the hell. Bye bye, cs.stackexchange. May we never meet again.
Member for 4 years
18 profile views
Last seen Mar 10 at 19:41