Torkel Franzén

Torkel Franzén's AcademicInfluence.com Rankings

Torkel Franzén

Mathematics

#2732

World Rank

#4156

Historical Rank

Measure Theory

#5714

World Rank

#6813

Historical Rank

mathematics Degrees

Download Badge

Mathematics

Why Is Torkel Franzén Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Torkel Franzén was a Swedish academic. Biography Franzén 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.

(See a Problem?)

Torkel Franzén's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

An Intuitionistic Predicate Logic Theorem Prover (1989) (51)
Transfinite Progressions: A Second Look at Completeness (2004) (36)
Inexhaustibility : a non-exhaustive treatment (2004) (31)
Gödel's Theorem (2005) (21)
An Overview of the Andorra Kernel Language (1991) (12)
Logical aspects of the Andorra Kernal Language (1991) (11)
Algorithmic aspects of intuitionistic propositional logic II (1987) (9)
The popular impact of Gödel's incompleteness theorem (2006) (8)
Concurrent Constraint Programming at SICS with the Andorra Kernel Language (Extended Abstract) (1993) (7)
Some Formal Aspects of AKL (1994) (7)
Gödel's Incompleteness Theorems, Free Will and Mathematical Thought (2011) (5)
A theorem-proving approach to deciding properties of finite control agents (1996) (2)
Provability and truth (1987) (2)
What Does the Incompleteness Theorem Add to the Unsolvability of the Halting Problem? (2006) (1)
Skepticism and Confidence (2005) (1)
Intuition vs. Monsters (1998) (0)
Gödel’s Completeness Theorem (2005) (0)
Logic programming and the intuitionistic sequent calculus (1988) (0)
Computability, Formal Systems and Incompleteness (2005) (0)
Torkel Franzén Gödel’s Theorem: An Incomplete Guide to Its Use and Abuse (2011) (0)
Inexhaustibility: A Non-Exhaustive Treatment: Lecture Notes in Logic 16 (2004) (0)
Incompleteness, Complexity and Infinity (2005) (0)
Gödel, Minds and Computers (2005) (0)
Some Formal Aspects of AKL by Torkel Franzén (2007) (0)
JSL volume 69 issue 4 Cover and Back matter (2004) (0)
REVIEWS-Inexhaustibility: A non-exhaustive treatment and a survey on transfinite progressions (2008) (0)
The Incompleteness Theorem: An Overview (2005) (0)
PROGRESSIONS: A SECOND LOOK AT COMPLETENESS (2010) (0)

This paper list is powered by the following services:

Other Resources About Torkel Franzén

en.wikipedia.org

What Schools Are Affiliated With Torkel Franzén?

Torkel Franzén is affiliated with the following schools:

Luleå University of Technology