Albert Visser

Albert Visser (Zwijndrecht, 19 december 1950) was hoogleraar aan de Universiteit Utrecht. Hij studeerde toegepaste wiskunde aan de Universiteit Twente en hij studeerde af in de wiskunde aan de Universiteit Utrecht. In 1981 promoveerde hij te Utrecht op het proefschrift Aspects of Diagonalization and Provability (promotor prof.dr. Dirk van Dalen).^[1] Albert Visser pensioneerde in 2015.

Albert Visser
Plaats uw zelfgemaakte foto hier
Persoonlijke gegevens
Geboortedatum	19 december 1950
Geboorteplaats	Zwijndrecht
Nationaliteit	Nederlands
Wetenschappelijk werk
Vakgebied	Logica met inbegrip van de wijsbegeerte en de grondslagen van de wiskunde, alsmede de kenleer
Promotor	Prof. dr. Dirk van Dalen
Opleiding	Toegepaste Wiskunde; Wiskunde
Alma mater	Universiteit Twente
Instituten	Universiteit Utrecht
https://www.uu.nl/gw/medewerkers/AVisser

Zijn onderzoek concentreert zich op rekenkundige theorieën, interpreteerbaarheid, constructivisme, de grondslagen van de wiskunde en onderwerpen in de taalfilosofie.^[1]

Op 1 augustus 1998 werd hij benoemd tot hoogleraar Logica aan de Universiteit Utrecht welk ambt hij op 1 maart 2000 aanvaardde met de inaugurele rede Het tekst continuüm. Hij is sinds 2005 ook lid van de Koninklijke Nederlandse Akademie van Wetenschappen.^[2][3]

Bibliografie

• Aspects of diagonalization & provability. Utrecht, 1981 (proefschrift).
• Evaluation, provably deductive equivalence in Heyting's arithmetic of substitution instances of propositional formulas. Utrecht, 1985.
• Kunnen wij elke machine verslaan? : beschouwingen rondom Lucas' argument. Utrecht, 1986.
• Peano's smart children. A provability logical study of systems with built-in consistency. Utrecht, [1986].
• A course in bimodal provability logic. Utrecht, 1987.
• Preliminary notes on interpretability logic. Utrecht, 1988.
• A descending hierarchy of reflection principles. Utrecht, 1988.
• Interpretability logic. Utrecht, 1988.
• The formalization of interpretability. Utrecht, 1989.
• On the S01-conservativity of S01-completeness. Utrecht, 1989.
• An inside view of EXP, or the closed fragment of the provability logic of IDN 0 O with a propositional constant for EXP. Utrecht, 1990.
• The unprovability of small inconsistency. Utrecht, 1991.
• Actions under presuppositions. Utrecht, 1992.
• Lazy & quarrelsome brackets. utrecht, 1992.
• Propositional combinations of S-sentences in Heyting's arithmetic . Utrecht, 1994.
• Interpretations over Heyting's arithmetic. Utrecht, 1995.
• Context in dynamic predicate logic. Utrecht, 1995.
• Relational validity & dynamic predicate logic. Utrecht, 1995.
• Bisimulations, model descriptions and propositinal quantifiers. Utrecht, 1996.
• An overview of interpretability logic. Utrecht, 1997.
• Prolegomena to the definition of dynamic predicate logic with local assignments. Utrecht, 1997.
• Rules and arithmetics. Utrecht, 1998.
• The donkey and the monoid. Dynamic semantics with control elements. Utrecht, 1998.
• Submodels of Kripke Models. Utrecht, 1998.
• Het tekst continuüm. Utrecht, 2000 (inaugurele rede).
• On the ambiguation of Polish notation. Utrecht, 2001.
• Faith & falsity. A study of faithful interpretations and false S01-sentences. Utrecht, 2002.
• No escape from Vardanyan's theorem. [Utrecht], 2003.
• Context modification in action. Utrecht, 2003.
• Categories of theories and interpretations. [Utrecht], 2004.
• Propositional logics of closed and open substitutions of Heyting's arithmetic. Utrecht, 2005.
• The predicative Frege hierarchy. Utrecht, 2006.
• Prolegomena to the categorical study of interpretations. Utrecht, 2006.

Bronnen, noten en/of referenties

1. prof. dr. Albert Visser - Geesteswetenschappen - Universiteit Utrecht. www.uu.nl. Gearchiveerd op 27 september 2015. Geraadpleegd op 12 oktober 2015.
2. Visser, Prof. dr. A. (Albert) — KNAW. www.knaw.nl. Gearchiveerd op 12 oktober 2015. Geraadpleegd op 12 oktober 2015.
3. Prof.dr. A. Visser (http://www.narcis.nl). www.narcis.nl. Geraadpleegd op 12 oktober 2015.