home

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

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

Doctoral candidates

Christian-Emil Ore
Marit Holden
Wenhui Zhang
Geir Kirkebøen
Gunnar Hartvigsen
Eric Monteiro
Rolf Inge Godøy
Dag Johansen
Roland Olson (joint supervision with Olaf Owe)
Geir Hasle
Dag Diesen
Arild Waaler
Lars Kristiansen
Helena Caseiro (joint supervision with Ellen Munthe-Kaas)
Fredrik Dahl (joint supervision with Knut Liestøl)

Back to top

Personal Interests

Reading - almost anything

Politics - leaning to the left

Back to top

Last Revised: 10/01/2000