Torkel Franzén (1 April 1950 – 19 April 2006) was a Swedish academic. He worked at the Department of Computer Science and Electrical Engineering at Luleå University of Technology, Sweden, in the fields of mathematical logic and computer science. He was known for his work on Gödel's incompleteness theorems and for his contributions to Usenet. He was active in the online science fiction fan community, and even issued his own electronic fanzine Frotz on his fiftieth birthday.

PropertyValue
dbpedia-owl:abstract
  • Torkel Franzén was een Zweeds academicus, die verbonden was aan de faculteit voor Informatica en Elektrotechniek van de Luleå Universiteit voor Technologie in Zweden. Hij werkte op de gebieden van de wiskundige logica en de informatica. Hij stond bekend voor zijn werk over de onvolledigheidsstellingen van Gödel en voor zijn bijdragen aan Usenet Hij was actief in de online sciencefiction fan community en gaf zelfs zijn eigen elektronische uitgegeven fanzine, frotz op zijn vijftigste verjaardag uit. Hij stierf op de leeftijd van 56 jaar aan botkanker.
  • Torkel Franzén, född 1 april 1950, död 19 april 2006, var en svensk filosof, logiker och matematiker verksam som lektor vid Luleå tekniska universitet, och skönlitterär översättare. Franzén disputerade 1987 vid Stockholms universitet med en avhandling om matematikens filosofi, Provability and Truth. Han författade efter detta ett flertal böcker, inom såväl programmering som logik och filosofi. På det filosofiska området verkade Franzén för att precisera den filosofiska innebörden av Kurt Gödels ofullständighetssats och gjorde sig, enligt Solomon Feferman, känd som en kritiker av vanformuleringar och felaktigt nyttjande av detsamma. Franzén har gjort en stor insats med sin analys av hur Turings (och senare Fefermans) konstruktioner med transfinita kompletteringar av ett axiomsystem egentligen fungerar. Franzén blev internationellt uppmärksammad under sin sista tid och inbjuden att föreläsa på ett dussintal universitet världen över. Franzén gjorde sig därtill känd som en aktiv postare på usenetgruppen swnet, samt även på ett antal övriga internetgrupper såsom sci. logic, och sci. math. Franzén översatte till svenska bland annat verk av de engelskspråkiga science fiction-författarna Brian Aldiss, Jack Vance och Ursula K. LeGuin. Under 1970-talet var han aktiv inom science fiction-fandom och flitig bidragsgivare till flera fanzines. John-Henri Holmberg anser att Franzén är en av de främsta som publicerats i svenska sf-fanzine. Torkel Franzén avled vid 56 års ålder i lungcancer med skelettmetastaser.
  • Torkel Franzén (1 April 1950 – 19 April 2006) was a Swedish academic. He worked at the Department of Computer Science and Electrical Engineering at Luleå University of Technology, Sweden, in the fields of mathematical logic and computer science. He was known for his work on Gödel's incompleteness theorems and for his contributions to Usenet. He was active in the online science fiction fan community, and even issued his own electronic fanzine Frotz on his fiftieth birthday. He died of bone cancer at age 56.
dbpedia-owl:birthDate
  • 1950-04-01 (xsd:date)
  • 1950-04-01 (xsd:date)
dbpedia-owl:deathDate
  • 2006-04-19 (xsd:date)
  • 2006-04-19 (xsd:date)
dbpedia-owl:wikiPageExternalLink
dbpprop:dateOfBirth
  • 1 (xsd:integer)
  • 1950-04-01 (xsd:date)
dbpprop:dateOfDeath
  • 19 (xsd:integer)
  • 2006-04-19 (xsd:date)
dbpprop:hasPhotoCollection
dbpprop:name
  • Franzen, Torkel
dbpprop:shortDescription
  • Mathematician; science fiction fan
dbpprop:wikiPageUsesTemplate
dc:description
  • Mathematician; science fiction fan
dcterms:subject
rdf:type
rdfs:comment
  • Torkel Franzén was een Zweeds academicus, die verbonden was aan de faculteit voor Informatica en Elektrotechniek van de Luleå Universiteit voor Technologie in Zweden. Hij werkte op de gebieden van de wiskundige logica en de informatica.
  • Torkel Franzén, född 1 april 1950, död 19 april 2006, var en svensk filosof, logiker och matematiker verksam som lektor vid Luleå tekniska universitet, och skönlitterär översättare. Franzén disputerade 1987 vid Stockholms universitet med en avhandling om matematikens filosofi, Provability and Truth. Han författade efter detta ett flertal böcker, inom såväl programmering som logik och filosofi.
  • Torkel Franzén (1 April 1950 – 19 April 2006) was a Swedish academic. He worked at the Department of Computer Science and Electrical Engineering at Luleå University of Technology, Sweden, in the fields of mathematical logic and computer science. He was known for his work on Gödel's incompleteness theorems and for his contributions to Usenet. He was active in the online science fiction fan community, and even issued his own electronic fanzine Frotz on his fiftieth birthday.
rdfs:label
  • Torkel Franzén
  • Torkel Franzén
  • Torkel Franzén
owl:sameAs
http://www.w3.org/ns/prov#wasDerivedFrom
foaf:givenName
  • Torkel
foaf:isPrimaryTopicOf
foaf:name
  • Torkel Franzen
foaf:surname
  • Franzen
is dbpedia-owl:wikiPageRedirects of
is owl:sameAs of
is foaf:primaryTopic of