Leeropdracht
Logica met inbegrip van de wijsbegeerte en de grondslagen van de wiskunde, alsmede de kenleer
Benoemingsdatum 01-10-1998
Oratiedatum 10-03-2000
Profiel

Prof.dr. Albert Visser studeerde toegepaste wiskunde aan de Universiteit Twente en wiskunde aan de Universiteit Utrecht. In 1981 promoveerde hij op het proefschrift Aspects of Diagonalization and Provability (promotor Prof.dr. D. van Dalen). Hij was assistant professor aan Stanford University en wetenschappelijk medewerker / universitair docent aan de Universiteit Utrecht Hij is nu Hoogleraar in de Logica met inbegrip van de wijsbegeerte en de grondslagen van de wiskunde, alsmede de kenleer aan de Universiteit Utrecht.

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

Albert Visser is lid van de KNAW. Hij is lid van de editorial board van het Notre Dame Journal of Formal Logic. Hij was lid van een aantal committees van de Association of Symbolic Logic.

http://www.phil.uu.nl/onderzoek/theoretical.shtml

Strategische thema's / focusgebieden
Gegenereerd op 2017-06-29 05:52:43
Alle publicaties
  2015 - Wetenschappelijke publicaties
Visser, A. (2015). Extension and Interpretability. Logic Group preprint series, 329 (38 p.).
Visser, A. & Enayat, A. (2015). New Constructions of Satisfaction Classes. In Theodora Achourioti, Henri Galinon, José Martínez Fernández & Kentaro Fujimoto (Eds.), Unifying the philosophy of truth (pp. 321-335) (15 p.). Dordrecht: Springer.
Visser, A. (2015). On Q. Logic Group preprint series, 330 (27 p.).
Visser, A. (2015). Oracle Bites Theory. In Sujata Gosh & Jakub Szymanik (Eds.), The facts matter - Essays in Logic and Cognition in Honour of Rineke Verbrugge (pp. 133-147). College Publications.
Visser, A. (2015). Sciëntisme, praat me er niet van. Algemeen Nederlands Tijdschrift voor Wijsbegeerte, 107 (3), (pp. 251-266) (16 p.).
Visser, A. (2015). The arithmetics of a theory. Notre Dame journal of formal logic, 56 (1), (pp. 81-119) (39 p.).
Visser, A. (2015). Transductions in Arithmetic. Annals of pure and applied logic, 167 (3), (pp. 211-234) (24 p.).
  2015 - Overige resultaten
A. Visser (28-05-2015). An explosion of notions. Utrecht workshop Theories and Rules.
A. Visser (16-12-2015). Big Models. Coherence and Truth, conference in memoriam Franco Montagna.
A. Visser (18-04-2015). Brothers, the same but different: Q and PA^- . Utrecht Workshop on Proof Theory.
  2014 - Wetenschappelijke publicaties
Visser, Albert (2014). Interpretability degrees of finitely axiomatized sequential theories. Archive for mathematical logic, 53 (1-2), (pp. 23-42) (20 p.).
Visser, Albert (2014). Jumping in Arithmetic. Logic Group preprint series, 319 (28 p.).
Visser, Albert (2014). Peano Corto and Peano Basso - A Study of local induction in the context of weak theories. Mathematical logic quarterly, 60 (1-2), (pp. 92-117) (26 p.).
Halbach, Volker & Visser, Albert (07-12-2014). Self-reference in Arithmetic I. Review of Symbolic Logic, 7 (4), (pp. 671-691) (20 p.).
Halbach, Volker & Visser, Albert (2014). Self-reference in Arithmetic II. Review of Symbolic Logic, 7 (4), (pp. 692-712) (20 p.).
Visser, Albert & Halbach, Volker (2014). The Henkin Sentence. In María Manzano, Ildikó Sain & Enrique Alonso (Eds.), The Life and Work of Leon Henkin - Essays on his Contributions (pp. 249-263) (14 p.). Birkhaüser.
Visser, Albert (2014). The Henkin Sentence. Logic Group preprint series, 317 (14 p.).
Visser, Albert (2014). The Interpretability of Inconsistency: Feferman's Theorem and Related Results. Logic Group preprint series, 318 (39 p.).
Shavrukov, V. Y. & Visser, Albert (01-01-2014). Uniform density in Lindenbaum Algebras. Notre Dame journal of formal logic, 55 (4), (pp. 569-582) (14 p.).
Visser, Albert & Friedman, Harvey M. (2014). When Bi-Interpretability Implies Synonymy. Logic Group preprint series, 320 (19 p.).
Visser, Albert (2014). Why the theory R is special. In Neil Tennant (Eds.), Foundational Adventures - Essays in honour of Harvey M. Friedman (pp. 7-24) (17 p.). College Publications.
  2014 - Overige resultaten
A. Visser (19-07-2014). A theory is restricted if there is a fixed bound on the complexity of its axioms. Kenneth McAloon proves that every restricted arithmetical theory that is consistent with Peano Arithmetic has a model in which the standard natural numbers are definable. In this talk we discuss the idea of generalizing McAloon's result to the class of consistent restricted sequential theories. We only obtain a weaker statement for the more general case. Whether the stronger statement holds remains open. In the talk, we briefly indicate how McAloon's proof works and discuss some immediate generalizations. Then, we will outline the basic ideas behind the proof of the result concerning consistent restricted sequential theories. . On a Theorem of McAloon.
A. Visser (27-09-2014). Johan van Benthem and Löb's Logic. Celebration event in Honour of Johan van Benthem.
A. Visser (23-06-2014). Sequential Theories form a natural class of theories that include set theories and arithmetical theories. Examples of sequential theories are Gödel-Bernays Set Theory, Zermelo-Fraenkel Set Theory, Peano Arithmetic, I\Sigma_1, I\Delta_0, S^1_2, PA^-. Typical for sequential theories is the possibility to develop partial satisfaction predicates for the full language of the given theory. As a consequence, sequential theories are locally essentially reflexive: they prove restricted reflection principles at the cost of choosing deeper definable cuts for stronger reflection principles. In our talk we survey the state of the art concerning sequential theories. We discuss the behavior of these theories w.r.t. mutual interpretability. We explain the Friedman Characterization of interpretability among finitely axiomatized sequential theories and the analogue of the Orey-Hájek Characterization in the infinitely axiomatized case. We describe Friedman's Theorem that interpretations between restricted interpretations can always be replaced by faithful ones. We provide examples of interesting properties of the degrees of interpretability of sequential theories. Finally, we treat some model theory of sequential theories. . Sequential Theories.
A. Visser (24-04-2014). This tutorial will be entirely devoted to the exposition of a single theorem: the Gödel-Hilbert-Bernays-Wang-Henkin-Feferman Theorem. This theorem is a miniaturization of the Model Existence Lemma. Where the Model Existence Lemma tells us that a consistent theory has a model, the GHBWHF Theorem tells us that if a theory U proves the consistency of another theory V, then U interprets V. So the GHBWHF Theorem is something like the Interpretation Existence Lemma. The course will be structured as follows: What is an interpretation? What is a consistency statement? How to get the effect of induction when you don’t have induction. An introduction to the method of definable cuts. Proof of the GHBWHF Theorem. Consequences of the GHBWHF Theorem. Tutorial: From consistency to interpretability.
  2013 - Wetenschappelijke publicaties
Visser, A. (2013). What is sequentiality?. In P. Cegielski, C. Charampolas & C. Dimitracopoulos (Eds.), New Studies in Weak Arithmetics (pp. 229-269) (40 p.). Stanford: CSLI Publications and Presses Universitaires du Pole de Recherche et d’Enseingement Sup\'erieur Paris-est, 31e journees sur les arithmetiques faibles.
  2012 - Wetenschappelijke publicaties
Visser, A. (2012). Interpretability degrees of ?nitely axiomatized sequential theories. Logic Group preprint series, 301 (19 p.).
Visser, A. (2012). The second incompleteness theorem and bounded interpretations. Studia logica, 100 (1-2), (pp. 399-418) (20 p.).
Visser, A. (2012). Vaught’s theorem on axiomatizability by a scheme. Bulletin of Symbolic Logic, 18 (3), (pp. 382-402) (21 p.).
Visser, A. (2012). Why the theory R is special. In N. Tennant (Eds.), Foundational Adventures. Essays in honour of Harvey Friedman http://foundationaladventures.com.
  2012 - Overige resultaten
A. Visser (25-07-2012). Degrees of Interpretability of Finitely Axiomatized Sequential Theories. Conference Numbers and Truth.
A. Visser (01-06-2012). Interpretations and Sequential Theories. Samos, Greece, 31ème Journées sur les Arithmétiques Faibles.
A. Visser (30-05-2012). Interpretations and Sequential Theories. Samos, Greece, 31ème Journées sur les Arithmétiques Faibles.
A. Visser (27-03-2012). Is there a plausible development of Predicative Frege Arithmetic?. Workshop on the Mathematics of Abstraction.
A. Visser (25-07-2012). Peano Downstairs. Kotlarski-Ratajczyk Conference.
A. Visser (28-05-2012). Provability Logic and the Arithmetics of a Theory. Seminar of the Graduate Program in Logic and Algorithms.
A. Visser (12-06-2012). Provability Logic and the Arithmetics of a Theory. Manchester, UK, Logic Colloquium.
A. Visser (24-07-2012). Sequential Theories. Kotlarski-Ratajczyk Conference.
A. Visser (02-11-2012). Sinn meets Fiction. Utrecht, Frege Symposium.
A. Visser (05-04-2012). Syntax, Sequentiality & Satisfaction. Workshop on Theories of Syntax and Diagonalization.
  2011 - Wetenschappelijke publicaties
Visser, A. (2011). Hume's Principle, Beginnings. Review of Symbolic Logic, 4 (1), (pp. 114-129) (15 p.).
Visser, A., de Jongh, D.H.J. & Verbrugge, R. (2011). Intermediate logics and the de Jongh Property. Archive for mathematical logic, 50 (1-2), (pp. 197-213) (16 p.).
Visser, A., Enayat, A. & Schmerl, J. (2011). omega-models of finite set theory. In J. Kennedy & R. Kossak (Eds.), Set Theory, Arithmetic and Foundations of Mathematics: Theorems, Philosophies (pp. 43-65) (23 p.). Cambridge: Cambridge University Press and Association for Symbolic Logic.
Grabmayer, C.A., Leo, J, van Oostrom, V. & Visser, A. (2011). On the Termination of Russell's Description Elimination Algorithm. Review of Symbolic Logic, 4 (3), (pp. 367-393) (27 p.).
  2011 - Overige resultaten
A. Visser (20-12-2011). A Tractatus Universe. Leiden, Symposium Tractatus in Holland.
A. Visser (28-05-2011). Closed fragments of provability logics of constructive arithmetical theories. Workshop on Admissible Rules and Unification.
A. Visser (12-05-2011). Consistency statements and the Wilkie hierarchy. CRM, Infinity Seminar at the Centre de Recerca Matematica (CRM).
A. Visser (06-08-2011). Coordinate Free Ways of Characterizing Consistency Statements. conference on Set Theory and Higher-Order Logic: Foundational Issues and Mathematical Developments.
A. Visser (23-03-2011). Full Satisfaction Classes and Sequential Theories. Workshop Truth be Told.
A. Visser (01-08-2011). Interpretations, a three lecture course (August 1,3,4). London, summer school on Set Theory and Higher-Order Logic: Foundational Issues and Mathematical Developments.
A. Visser (24-01-2011). Sameness of Theories. Philosophy of Mathematics Seminar.
A. Visser (11-11-2011). The Provability Logic of All Arithmetics of a Theory. Workshop on Proof Theory and Constructive Mathematics.
  2010 - Wetenschappelijke publicaties
Visser, A., Cacic, V., Pudlak, P., Restall, G. & Urquhart, A. (2010). Decorated linear order types and the theory of concatenation. In F. Delon, U. Kohlenbach, P. Maddy & F. Stephan (Eds.), Logic Colloquium 2007 (pp. 1-13) (13 p.). Cambridge: Cambridge University Press and Association for Symbolic Logic, Logic Colloquium 2007.
  2010 - Populariserende publicaties
Visser, A. (2010). Doortellen. Algemeen Nederlands Tijdschrift voor Wijsbegeerte, 102 (03), (pp. 199-201) (2 p.).
  2010 - Overige resultaten
A. Visser (26-01-2010). Coordinate Free Ways of Characterizing Consistency Statements. London, Conferentie: Algebra & Coalgebra meet Proof Theory.
A. Visser (06-02-2010). Intermediate Logics and the de Jongh Property. Praag, Conferentie: Beauty of Logic II.
A. Visser (25-03-2010). On Kreisel's `Solution' of a Problem of Henkin's. Amsterdam, Farewell Colloquium for Peter van Emde Boas.
A. Visser (26-01-2010). Per Lindström's Metamathemagic. Utrecht, VvL symposium Lindström's legacy.
A. Visser (27-05-2010). Sameness of Theories. Utrecht, Conferentie: Mathematical Logic in the Netherlands.
A. Visser (02-09-2010). The Rex Around the Corner,. Workshop Semantics of Predicate Logic.
  2009 - Wetenschappelijke publicaties
Visser, A. (2009). A Tractatus Universe. In J.W. Klop & V. van Oostrom (Eds.), Liber Amicorum for Roel de Vrijer (pp. 213-225) (13 p.). Amsterdam: xxx.
Visser, A. (2009). Can we make the Second Incompleteness Theorem coordinate free?. Journal of logic and computation
Visser, A. (2009). Cardinal Arithmetic in the Style of Baron von Münchhausen. Review of Symbolic Logic, 2 (3), (pp. 570-589) (20 p.).
van Eijck, J. & Visser, A. (2009). Dynamic Semantics. In E.N. Zalta (Eds.), Stanford Encyclopedia of Philosophy Stanford: Stanford University.
Visser, A. & Visser, A. (2009). Growing commas -a study of sequentiality and concatenation. The Notre Dame Journal of Formal Logic, 50 (1), (pp. 61-85) (25 p.).
Visser, A. (2009). The Predicative Frege Hierarchy. Annals of pure and applied logic, 160 (2), (pp. 129-153) (25 p.).
  2009 - Vakpublicaties
Visser, A., Grabmayer, C.A., Leo, J & van Oostrom, V. (2009). On the termination of Russell's Description. Utrecht: LGPS.
Visser, A. (2009). Why the theory R is special. Utrecht: LGPS.
  2009 - Overige resultaten
A. Visser (15-04-2009). Look again: Syntax is no Syntax. Conference The Fundamental Idea of Proof Theory.
A. Visser (08-01-2009). Can we make the Second Incompleteness Theorem Coordinate Free?. ASL Winter Meeting.
A. Visser (16-05-2009). Logic and Admissible Rules of Theories. Conference in Honor of the 60th Birthday of Harvey M. Friedman.
A. Visser (05-06-2009). Look again: Syntax is no Syntax. Amsterdam, DIP Colloquium.
A. Visser (08-09-2009). Look again: Syntax is no Syntax. Nijmegen, Semantiek Colloquium.
A. Visser (26-06-2009). Sameness of Theories. Workshop at Pont-à-Mousson.
A. Visser (30-10-2009). The Most General Notion of Interpretation. Formal Philosophy Seminar.
A. Visser (18-02-2009). Why is 2+3=3+2 and 2 x 3 = 3 x 2?. Workshop Abstract Images.
  2008 - Wetenschappelijke publicaties
Visser, A. (2008). Closed Fragments of Provability Logics of Constructive Theories. Journal of symbolic logic, 73 (3), (pp. 1081-1096) (16 p.).
Visser, A. (2008). Pairs, Sets and Sequences in First Order Theories. Archive of Mathematical Logic, 47 (4), (pp. 299-326) (28 p.).
  2008 - Overige resultaten
A. Visser (05-05-2008). Consistency without coding. Lezing voor de Moscow conference on Logical Models of Reasoning and Computation.
A. Visser (17-11-2008). Double degree structures of interpretability. Mathematics Department Logic Seminar en het Philosophy Department Logic, Language and Science Colloquium.
A. Visser (15-09-2008). Foundations in the style of Baron von Münchhausen. E.W. Beth Centenary Conference.
A. Visser (27-03-2008). Löb's Logic meets the mu-calculus. Amsterdam, Lezing voor Modal Fixpoint Logics.
A. Visser (09-10-2008). Q & R. Amsterdam, Core Logic.
A. Visser (09-11-2008). The Miraculous Theory Q. South Bend, MWPMW 9, Notre Dame University.
  2007 - Wetenschappelijke publicaties
Visser, A. (2007). Closed Fragments of Provability Logics of Constructive Theories. Utrecht: Logic Group Preprint Series 259.
Visser, A., Cacik, V., Pudlak, P., Restall, G. & Urquhart, A. (2007). Decorated Linear Order Types and the Theory of Concatenation. Utrecht: Logic Group Preprint Series 258.
Visser, A. (2007). Growing commas -a study of sequentiality and concatenation. Utrecht: Logic Group Preprint Series 257, submitted to NDJFL.
Visser, A. (2007). Pairs, Sets and Sequences in First Order Theories. Utrecht: Logic Group Preprint Series 251, Accepted for the Archive of Mathematical Logic.
  2007 - Overige resultaten
A. Visser (11-06-2007). De Occurrent. Amsterdam, KNAW, bijeenkomst afdeling Letterkunde.
A. Visser (16-07-2007). Interpretations in Philosophical Logic. Wroclaw, Polen, Logic Collquium 07.
A. Visser (31-03-2007). Kan denken echte dingen maken?. Utrecht, U-dag.
A. Visser (08-11-2007). Provability Logics of Constructive Theories. Amsterdam, A Day in Mathematical Logic.
A. Visser (14-11-2007). Provability Logics of Constructive Theories. Amsterdam, Core Logic.
A. Visser (14-12-2007). Truth in Metamathematics. Amsterdam, Palmyr VI.
  2006 - Wetenschappelijke publicaties
Visser, A. (2006). Categories of Theories and Interpretations. In a. enayat & i. kalantari (Eds.), Logic in Tehran, Proceedings of the workshop and conference on Logic, Algebra and Arithmetic, held October 18--22, 2003 (pp. 77-136) (60 p.). Wellesley, Mass.: ASL, A.K. Peters.
Visser, A. & de Jonge, M. (2006). No Escape from Vardanyan's Theorem. Archive for mathematical logic, 45 (5), (pp. 539-554) (16 p.).
Visser, A. (2006). Predicate logics of constructive arithmetical theories. Journal of symbolic logic, 71 (4), (pp. 1311-1326) (16 p.).
Visser, A. (2006). Problems in the Logic of Provability. In D.M. Gabbay & S.S. Congarov (Eds.), Mathematical Problems from Applied Logic I, Logics for the XXIst Century (pp. 77-136) (60 p.). New York: Springer.
Visser, A. (2006). Prolegomena to the categorical study of interpretations. Utrecht: LGPS, dept. wijsbegeerte UU.
Visser, A. (2006). Propositional logics of closed and open substitutions over Heyting Arithmetic. Notre Dame journal of formal logic, 47 (6), (pp. 299-309) (11 p.).
Visser, A, Stuurman, R & Bierkens, MFP (2006). Real-time forecasting of water table depth and soil moisture profiles. Advances in Water Resources, 29 (5), (pp. 692-706).
Visser, A. (2006). The Predicative Frege Hierarchy. utrecht: LGPS, dept. wijsbegeerte UU.
  2006 - Overige resultaten
A. Visser (17-11-2006). Bijdrage aan "Reflectie op Reflectie". Utrecht, Studium Generale.
A. Visser (01-01-2006). On comparing the degrees of local and global interpretability. Moskou, Moscow Symposium on Logic, Algebra and Computation.
A. Visser (10-02-2006). On comparing the degrees of local and global interpretability. moskou, rusland, Moscow Symposium on Logic, Algebra and Computation.
A. Visser (26-05-2006). The Incompleteness Theorems: What They Say and What They do not Say. Utrecht, Gödel Centenary Celebration, OZSL + VVL.
A. Visser (24-03-2006). Turing Test and Chinese Room. Amsterdam, Rotary.
  2005 - Wetenschappelijke publicaties
Visser, A. (2005). Löb's Logic Meets the Mu-Calculus. In A. Middeldorp, V. van Oostrom, F. van Raamsdonk & R. de Vrijer (Eds.), Processes, Terms and Cycles, Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday (pp. 14-25) (12 p.). Berlin: Springer.
Beklemishev, L.D. & Visser, A. (2005). On the limit existence principles in elementary arithmetic and Sigma^0_n-consequences of theories. Annals of pure and applied logic, 136, (pp. 56-74) (19 p.).
Beklemishev, L.D. & Visser, A. (2005). Problems in the Logic of Provability. Utrecht: Logic Group Preprint Series.
Visser, A. (2005). Propositional Logics of Closed and Open Substitutions over Heyting Arithmetic. Utrecht: Logic Group.
Visser, A. (2005). Relative Interpretations in Constructive Arithmetic. Utrecht: Logic Group.
  2005 - Vakpublicaties
van Eijck, J. & Visser, A. (2005). Inzien en Bewijzen. Amsterdam: Amsterdam University Press.
van Eijck, J. & Visser, A. (2005). Inzien en Bewijzen --- Docentenhandleiding. Amsterdam: Amsterdam University Press.
Visser, A. (2005). Kunnen wij elke machine verslaan? Beschouwingen rond Lucas' Argument. Algemeen Nederlands Tijdschrift voor Wijsbegeerte, 97 (1), (pp. 31-59) (29 p.).
  2005 - Overige resultaten
A. Visser (13-12-2005). Comparing Theories. Amsterdam, Lecture for Core Logic.
A. Visser (16-04-2005). Gödel's Incompleteness Theorems and their Philosophical Implications. Utrecht, Filosofische Gespreksgroep.
A. Visser (16-04-2005). Hilbert's Programma & Gödel's stelling. ISVW Leusden, Lecture for Filosofie van het Wiskundig Denken.
A. Visser (16-04-2005). Hilbert's Programma & Gödel's stelling. ISVW Leusden, Lecture for Filosofie van het Wiskundig Denken.
A. Visser (04-02-2005). Inzien en bewijzen. Congrescentrum Noordwijkerhout, Nationale Wiskunde Dagen.
  2004 - Wetenschappelijke publicaties
Joosten, J.J. & Visser, A. (2004). How to derive principles of interpretability logic. A toolkit. In L. Afanasiev & M. Marx (Eds.), Liber Anicorum ter gelegenheid van Dick de Jongh Amsterdam: ILLC.
  2003 - Overige resultaten
A. Visser (20-10-2003). Formele Talen. Utrecht, cyclus 'Techniek en taal', KIVI, afdeling Filosofie van de Techniek.
A. Visser (18-10-2003). trustworthy Theories and Faithful Interpretations I. Workshop and Conference on Logic, Algebra and Arithmetic.
A. Visser (20-10-2003). Trustworthy Theories and Faithful Interpretations II. Workshop and Conference on Logic, Algebra and Arithmetic.
  2002 - Wetenschappelijke publicaties
Visser, A. & D'Agostino,, G. (2002). Finality regained: a coalgebraic study of Scott-sets and multisets. Archive for mathematical logic, 41 (3), (pp. 267-298) (32 p.).
Visser, A. (2002). Substitutions of E-sentences : explorations between intuitionistic propositional logic and intuitionistic arithmetic. Annals of pure and applied logic, 114 (1-3), (pp. 227-271) (45 p.). special issue for the commemorative symposium, dedicated to Anne Troelstra, guesteditors Jaap van Oosten & Harold Schellinx.
Visser, A. (2002). The Donkey and the Monoid. Dynamic semantics with control elements. Journal of logic, language and information, 11(1), (pp. 107-131) (25 p.).
  2002 - Vakpublicaties
Visser, A. (2002). Faith & Falsity: a study of Faithful Intepretations and false E-sentences. Logic Group preprint series (216) (35 p.).
  2002 - Overige resultaten
A. Visser (05-02-2002). Idioms and compositionality. the Logic Seminar.
A. Visser (15-03-2002). Interpretability Logic. Stanford, Logic Lunch.
A. Visser (01-03-2002). Logics for Provability and Interpretability. Berkeley, the Berkeley Logic Colloquium.
A. Visser (15-10-2002). On Non-Well-founded Multisets: Scott Collapse in the Multiworld. Amsterdam, Drie lezingen voor de OZSL schoolweek.
  2001 - Wetenschappelijke publicaties
Visser, A. (2001). 'Submodels of Kripke Models'. Archive for mathematical logic, 40, (pp. 277-295) (19 p.).
  2001 - Vakpublicaties
Visser, A. (2001). 'On the Ambiguation of Polish Notation, juli 2001'. Artificial intelligence preprint series, 026, (pp. 1-19) (19 p.).
  2001 - Overige resultaten
A. Visser (04-09-2001). `Het Deel en het Geheel. Utrecht, Opening van het Academisch Jaar der Faculteit Wijsbegeerte.
A. Visser (25-05-2001). Lewis Carroll en de Taalfilosofie. Utrecht, Lezing voor de Rotary.
A. Visser (06-10-2001). 'Modelleren en Verbeteren' Logica in Wijsbegeerte, Wiskunde, Informa\-tica, Linguistiek en Artificiële Intelligentie. Leusden, Lezing voor de CGW conferentie "Samenwerking tussen Wetenschapsgebieden".
A. Visser (27-04-2001). Moet Dat Nou?. Utrecht, Lezing voor Studium Generale.
A. Visser (26-10-2001). On the Ambiguation of Polish Notation. Nunspeet, Lezing voor Adult Accolade.
A. Visser (02-02-2001). The Future of Logic. Discussion Piece for the Meeting of the VvL.
A. Visser (03-06-2001). 'The' in Context. München, Lezing voor de Russell Conferentie.
  2000 - Wetenschappelijke publicaties
Visser, A. (2000). Rules and Arithmetic. Notre Dame journal of formal logic, 40 (1), (pp. 116-140) (24 p.).
Visser, A. & Joosten, J.J. (2000). The interpretability logic of all reasonable arithmetical theories. Erkenntnis, 53 (1-2), (pp. 3-26) (23 p.). guest editor Godehard Link.
  2000 - Overige resultaten
A. Visser (02-10-2000). Foundations for Dynamic Semantics?. Mantova, Italië, Miglioli conferentie.
A. Visser (01-10-2000). Intuitionistic Provability Logic & Leivant's Principle. Mantova Italië, Migliolo conferentie.
A. Visser (24-10-2000). Logic in Linguistics 'Why, How & What Can Go Wrong?'. Nunspeet, Discussie bijdrage voor de OZSL Schoolweek.
A. Visser (23-10-2000). Types & Tokes, some negative theses. Nunspeet, Lezing voor Adullt Accolade.
  1999 - Wetenschappelijke publicaties
Joosten, J.J. & Visser, A. (1999). The Interpretability Logic of all Reasonable Arithmetical Theories. (25 p.). Utrecht: Universiteit Utrecht, preprint.
  0 - Overige resultaten
A. Visser (0). Gödel Prize Committee. Gödel Prize Committee.
A. Visser (0). Logics for Provability and Interpretability. Los Angeles, the UCLA Logic Colloquium.
A. Visser (0). Notre Dame journal of formal logic.
A. Visser (0). Types, Tokens & Occurrences, Some Thoughts on the Nature of Syntactical and Semi-Syntactical Items. Stanford, the Stanford Philosophy Colloquium & Lecture Series.
^ naar boven
Gegenereerd op 2017-06-29 05:52:43
Nevenfuncties

Geen informatie beschikbaar

Gegenereerd op 2017-06-29 05:52:43
Volledige naam
prof. dr. A. Visser Contactgegevens
Janskerkhof 13

Janskerkhof 13
Kamer -
3512 BL  UTRECHT

Janskerkhof 13

Janskerkhof 13
Kamer 1.09
3512 BL  UTRECHT

Telefoonnummer afdeling 030 253 1831
Janskerkhof 2

Janskerkhof 2
Kamer 1.09
3512 BK  UTRECHT

Telefoonnummer direct 030 253 2173
Telefoonnummer afdeling 030 253 1831
Gegenereerd op 2017-06-29 05:52:43
Laatst bijgewerkt op 29-06-2016