This HTML5 document contains 100 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n22https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
n4https://web.archive.org/web/20060423055508/http:/www.sm.luth.se/~torkel/
n13http://arz.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
dbpedia-svhttp://sv.dbpedia.org/resource/
n11http://www.ams.org/notices/200604/
freebasehttp://rdf.freebase.com/ns/
n23http://viaf.org/viaf/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n12http://www.ams.org/notices/200703/
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
dbchttp://dbpedia.org/resource/Category:
xsdhhttp://www.w3.org/2001/XMLSchema#
goldhttp://purl.org/linguistics/gold/
wikidatahttp://www.wikidata.org/entity/
dbpedia-nlhttp://nl.dbpedia.org/resource/
dbrhttp://dbpedia.org/resource/
n25http://d-nb.info/gnd/
n21http://data.bibliotheken.nl/id/thes/

Statements

Subject Item
dbr:Proof_of_impossibility
dbo:wikiPageWikiLink
dbr:Torkel_Franzén
Subject Item
dbr:Franzen
dbo:wikiPageWikiLink
dbr:Torkel_Franzén
Subject Item
dbr:Euclid's_theorem
dbo:wikiPageWikiLink
dbr:Torkel_Franzén
Subject Item
dbr:Gregory_Chaitin
dbo:wikiPageWikiLink
dbr:Torkel_Franzén
Subject Item
dbr:Gödel's_incompleteness_theorems
dbo:wikiPageWikiLink
dbr:Torkel_Franzén
Subject Item
dbr:Torkel
dbo:wikiPageWikiLink
dbr:Torkel_Franzén
dbo:wikiPageDisambiguates
dbr:Torkel_Franzén
Subject Item
dbr:Torkel_Franzén
rdf:type
yago:Supporter110677713 yago:Logician110269785 yago:WikicatMathematicalLogicians yago:Whole100003553 owl:Thing yago:WikicatScienceFictionFans yago:WikicatUsenetPeople dbo:Person yago:Mathematician110301261 yago:Advocate109774783 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scientist110560637 yago:Person100007846 yago:PhysicalEntity100001930 yago:Enthusiast110059582 yago:Organism100004475 yago:Expert109617867 yago:LivingThing100004258 yago:WikicatSwedishMathematicians yago:Object100002684 yago:CausalAgent100007347 yago:SportsFan110639925 yago:Wikicat20th-centuryMathematicians yago:Wikicat21st-centuryMathematicians
rdfs:label
Torkel Franzén Torkel Franzén Torkel Franzén
rdfs:comment
Torkel Franzén (1 april 1950 - 19 april 2006) was een Zweeds academicus, die verbonden was aan de faculteit voor Informatica en Elektrotechniek van de 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 en gaf zelfs zijn eigen elektronische uitgegeven , frotz op zijn vijftigste verjaardag uit. Hij stierf op de leeftijd van 56 jaar aan botkanker. Torkel Franzén (1 April 1950, Norrbotten County – 19 April 2006, Stockholm) was a Swedish academic. Torkel Malte Oskar Franzén, född 1 april 1950 i Pajala församling, Norrbottens län, död 19 april 2006 i Maria Magdalena församling, Stockholm, var en svensk filosof, logiker och matematiker. Han var verksam som lektor vid Luleå tekniska universitet och även som skönlitterär översättare. 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. Torkel Franzén avled av cancer vid 56 års ålder.
dcterms:subject
dbc:1950_births dbc:Mathematical_logicians dbc:21st-century_Swedish_mathematicians dbc:Usenet_people dbc:2006_deaths dbc:Science_fiction_fans dbc:Luleå_University_of_Technology_faculty dbc:20th-century_Swedish_mathematicians
dbo:wikiPageID
10711519
dbo:wikiPageRevisionID
1114436669
dbo:wikiPageWikiLink
dbr:Science_fiction_fanzine dbr:Science_fiction_fandom dbr:Mathematical_logic dbr:Norrbotten_County dbr:Wellesley,_Massachusetts dbr:Massachusetts dbc:1950_births dbr:Sweden dbc:2006_deaths dbc:Mathematical_logicians dbc:Science_fiction_fans dbr:Association_for_Symbolic_Logic dbr:Luleå_University_of_Technology dbc:21st-century_Swedish_mathematicians dbc:Usenet_people dbr:Stockholm dbr:Computer_science dbr:A_K_Peters,_Ltd. dbr:Bone_cancer dbc:Luleå_University_of_Technology_faculty dbr:Usenet dbr:Gödel's_incompleteness_theorems dbc:20th-century_Swedish_mathematicians
dbo:wikiPageExternalLink
n4: n11:fea-franzen.pdf n12:rev-raatikainen.pdf
owl:sameAs
freebase:m.02qmz_f n13:توركيل_فرانزين dbpedia-sv:Torkel_Franzén n21:p072995831 n22:n75b n23:41878811 wikidata:Q1839062 n25:13583662X dbpedia-nl:Torkel_Franzén
dbp:wikiPageUsesTemplate
dbt:Reflist dbt:Authority_control dbt:Europe-mathematician-stub dbt:ISBN dbt:Short_description dbt:Sweden-scientist-stub
dbo:abstract
Torkel Malte Oskar Franzén, född 1 april 1950 i Pajala församling, Norrbottens län, död 19 april 2006 i Maria Magdalena församling, Stockholm, var en svensk filosof, logiker och matematiker. Han var verksam som lektor vid Luleå tekniska universitet och även som 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 men även exempelvis John Horton Conways Boken om tal (Book of Numbers) (2000).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 av cancer vid 56 års ålder. Torkel Franzén (1 april 1950 - 19 april 2006) was een Zweeds academicus, die verbonden was aan de faculteit voor Informatica en Elektrotechniek van de 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 en gaf zelfs zijn eigen elektronische uitgegeven , frotz op zijn vijftigste verjaardag uit. Hij stierf op de leeftijd van 56 jaar aan botkanker. Torkel Franzén (1 April 1950, Norrbotten County – 19 April 2006, Stockholm) was a Swedish academic.
gold:hypernym
dbr:Academic
prov:wasDerivedFrom
wikipedia-en:Torkel_Franzén?oldid=1114436669&ns=0
dbo:wikiPageLength
2962
foaf:isPrimaryTopicOf
wikipedia-en:Torkel_Franzén
Subject Item
dbr:Usenet_personality
dbo:wikiPageWikiLink
dbr:Torkel_Franzén
Subject Item
dbr:Torkel_Franzen
dbo:wikiPageWikiLink
dbr:Torkel_Franzén
dbo:wikiPageRedirects
dbr:Torkel_Franzén
Subject Item
wikipedia-en:Torkel_Franzén
foaf:primaryTopic
dbr:Torkel_Franzén