Herman Ruge Jervell
.jpg)
English
E-post
herman@ifi.uio.no
Telefon
+47-22840121
Mobiltelefon
+47-98853310
Faks
+47-22852950
Rom
7465
Brukernavn
Besøksadresse
Gaustadalléen 23B
Ole-Johan Dahls hus
0373 OSLO
Postadresse
Postboks 1080 Blindern
0316 OSLO
Faglige interesser
Logikk - og spesielt kompleksitet av beregninger og bevis. Jeg har vært interessert i bruken av logikk i kunstig intelligens, i modal logikk og andre anvendelser av logikk til spesifikasjoner og korrekthet i informatikk.
Undervisning
Jeg har lagt opp og hatt ansvar for en god del av undervisningen i logikk. De siste årene har jeg vekslet mellom å ha et bredt elementært kurs i logikk (som eksempel INF 1800) og avanserte kurs som INF 5800 og INF 5810
Bakgrunn
Jeg tok magistergrad i matematisk logikk i 1967 og har siden vært ved universitetene i Oslo og Tromsø (1972-85). Studieopphold ved Stanford University 1968-70. Ved Universitetet i Oslo var jeg ved Matematisk Institutt fram til 1972, ved HF 1985-2001.
Jeg har veiledet 15 doktorander - alene eller sammen med andre.
Publikasjoner
- Jervell, Herman Ruge (2009). Kantiansk anskuelse og høyere aritmetikk, I: Anita Leirfall & Thor Sandmel (red.), Enhet i mangfold. Festskrift i anledning Johan Arnt Myrstads 60-årsdag.. Unipub forlag. ISBN 9788230311790. artikkel. s 201 - 218
- Jervell, Herman Ruge (2006). Constructing ordinals, In Gerhard Heinzmann & Giuseppina Ronzitti (ed.), Constructivism: Mathematics, Logic, Philosophy and Linguistics. Éditions KIMÉ. ISBN 2-84174-399-3. Kapittel. s 5 - 20
- Jervell, Herman Ruge (2005). Finite trees as ordinals, In S.Barry Cooper; Benedikt Löwe & Leen Torenvliet (ed.), New Computational Paradigms First Conference on Computability in Europe, CiE 2005. Springer. ISBN 3-540-26179-6. Kapittel. s 211 - 220
- Jervell, Herman Ruge (2005). Finite trees as ordinals. Lecture Notes in Computer Science = Lecture notes in artificial intelligence. ISSN 0302-9743. 3526
- Jervell, Herman Ruge (2003). Appendix: Section 20.3 From a logical point of view, In Bernt Petter Stigum (ed.), Econometrics and the Philosophy of Economics. Theory-Data Confrontations in Economics. Princeton University Press. ISBN 0-691-11300-9. s 520 - 524
- Jervell, Herman Ruge (1999). Om det uendelige. Pascal som matematiker, logiker og fysiker., I: Hans Kolstad & Arild Waaler (red.), Endelighet og evighet. 15 essays om Blaise Pascal. Aschehoug & Co. ISBN 82-03-18050-7.
- Jervell, Herman Ruge (1996). From the axiom of choice to choice sequences. Nordic journal of philosophical logic. ISSN 0806-6205. 1(1), s 95- 98
- Jervell, Herman Ruge (1996). Thoralf Skolem: Pioneer of computational Logic. Nordic journal of philosophical logic. ISSN 0806-6205. 1(2), s 107- 117
- Jervell, Herman Ruge (2004). Formal logic. A guided tour. Unipub forlag. ISBN 82-7477-188-5. 194 s.
- Jervell, Herman Ruge (2002). Modal logikk. Unipub forlag. ISBN 82-7477-094-3. 145 s.
- Jervell, Herman Ruge (2001). Logikk og beregnbarhet. Unipub forlag. ISBN 82-7477-072-2. 169 s.
- Jervell, Herman Ruge (2002). Hilbert, Borel og kampen om utvalgsaksiomet..
- Jervell, Herman Ruge (2002). Review: Alasdair Urquhart: The complexity of linear logic with weakening. Bulletin of Symbolic Logic. ISSN 1079-8986. 8, s 100- 101
- Jervell, Herman Ruge (2002). The importance of indirect arguments.
- Jervell, Herman Ruge (2001). Abstractions and Metaphors on the Internet.
- Jervell, Herman Ruge (2001). How to wellorder finite trees..
- Jervell, Herman Ruge & Zhang, Wenhui (2001). Cut formulas for Kalmar elementary functions.
- Jervell, Herman Ruge (2000). Review "Helmut Schwichtenberg: Finite notations for infinite terms.". Bulletin of Symbolic Logic. ISSN 1079-8986. 6(4), s 477- 477
- Jervell, Herman Ruge (1999). On the limitations of logic programming.
- Jervell, Herman Ruge (1995). Dynamic Datastructures.
- Jervell, Herman Ruge (1995). Informatikk som fag. Vitenskapsteoretisk belyst..
Publisert 4. nov. 2010 13:59
- Sist endret 28. jun. 2011 10:27