Herman Ruge Jervell
Personal
home page
Contents
Work
Information
Hot
List
Contact
Information
Papers
and projects
Biographical Information
Personal Interests
Work
Information
Professor
Research group in Logic
and Natural Languages
Department of Computer
Science
University of Oslo
Norway
Back to top
Hot List
Anton
Setzers links
My teaching
The
seminar
The university
The city
Back to top
Contact Information
herman.jervell@ilf.uio.no
Phone
Office + 47 22 84 01 21
Fax + 47 22 85 29 50
Private + 47 22 95 26 71
Adress
Dept of Computer Science, Pb
1080, University of Oslo, 0317 Oslo, Norway
Private
Almeveien 6d, 0855 Oslo,
Norway
Back
to top
Papers and projects
·
Draft of a monograph on Truth and
Provability – July 15 2009
·
Logic seminar in Berkeley -September 2008
·
· PCC 2008—Oslo talk
· CIE2008 —
Athens paper talk
· Foredrag OMS-seminar
april 2008. Nedlasting
· Talk on Wilfried
Buchholzs 60 years birthday. For downloading.
· Proof of wellordering of finite
labeled trees
· Draft of monograph on incompleteness
· Paper in
Norwegian about Kant
·
· The epsilon-0 movie
·
· talk on Jean-Yves Girards 60 years birthday, Paris September 2007
·
· talk on the processes involving finite trees, Bergen May 2006
·
· on ordering
finite trees - CiE2005 - Springer Lecture Notes
·
· talk on main in Java
·
· talk on logic and AI - for students (Norwegian)
·
· A lecture on the importance of indirect arguments - given
at the University of Helsinki October 2002
·
· A paper on how to
wellorder finite trees. Gives an account of ordinal notations by Ackermann,
Schütte and Takeuti.
·
· A paper together with
Wenhui Zhang about cut elimination and the Kalmar elementary functions.
·
· A paper and a powerpoint-presentation given at
SSGRR-2001 at l'Aquila, Italy August 2001 on "Abstractions and
metaphors on the Internet."
·
· I am writing a
course on proof theory. So far it consists of 140 pages with much more to
come. Here you can download a draft in
postscript format. The draft started as lectures for the Copenhagen Summer
School in Logic August 1997.
·
· JSL review of
Schwichtenberg: Finite notations for infinite terms. Ps
Pdf Dvi.
·
· A paper on
limits of logic programming. Postscript or Pdf.
·
· A paper with
Wenhui Zhang showing that to every Kalmar elementary function we can find
cut formulas making the proof that it is well defined linear in its arguments.
Pdf or Postscript.
·
· Lecture on the
limitation of logic programming. Trondheim 1999. Postscript.
·
· A paper on connections
between Girards dilators and Fefermans replete functionals. Download a postscript version.
·
· Together with
Stål Aanderaa I wrote a paper on a Trakhtenbrot theorem for linear logic. Download1 Download2.
·
· A simple
construction of a small universal Turing machine. Word document.
·
· A draft on dilators. This will be put into the course on proof
theory.
·
· A paper on artificial intelligence and artificial
environments.
·
· An essay on logic.
·
· A paper with
use of concepts from Husserl as an aide to
describing large systems.
·
· A paper about Skolem as a pioneer of computational logic.
·
· Some foundational problem in informatics. (Norwegian)
·
· A paper on how choice sequences started with the discussion around the axiom of
choice. The paper was written in 1979 and was floating around until it was
first published in 1994.
·
· Lectures in logic. (Norwegian)
·
· A paper in Norwegian about how structures started with the translation of
Sophus Lies Theorie der transformationsgruppen into French. It also mention
Axel Thues introduction of terms as trees.
·
· A history of information technology in Norwegian
·
· Ludwig
Wittgenstein explained for mathematicians. Paper in Norwegian.
·
· A paper in
Norwegian about information and
data.
·
· A paper in
Norwegian about Pascal and the
infinite.
·
· Some slides in
Norwegian about net-based teaching.
·
· Beyers Base -
Windows Program - 7 filer - 1 2 3 4 5 6 7
·
· Norsk grammatisk bibliografi
- Windows Program - 7 filer - 1 2 3 4 5 6 7
·
· Logikk
og kunstig intelligens
(Norwegian)
·
· Beyers base - webbase
·
· GBase - webbase for norsk
grammatisk bibliografi
·
· Some slides in
Norwegian about MUSPRO
·
Back to top
Biographical Information
Born 1945 Telemark,
Norway.
My name is international
· Herman - from
German (Heer - Mann = warrior)
·
· Ruge - (my
mothers) family name from Northern Germany - to Norway 300 years ago
·
· Jervell - family
name from Finland (Järvellä = by the lake) - to Norway 200 years ago
·
Four boys - born 1972, 74,
84, 87
Three grandchildren
Married to Torill Steinfeld, professor of
Scandinavian litterature
Studied
· Oslo 1962 - 67
·
· Stanford 1968 -
70
·
· Oslo 1970 - 72
·
Worked
· Tromsø
(mathematics) 1973 - 85
·
· Oslo
(informatics) 1985 - 88
·
· Oslo (language,
logic and information) 1988 -
·
Research stays
· Stanford 1978
·
· München 1979
·
· Philadelphia
1994
·
· München 1997
·
· Oxford 2000
·
· Stockholm 2001
·
Doctoral candidates
· Christian-Emil
Ore
·
· Marit Holden
·
· Wenhui Zhang
·