Wikisage, de vrije encyclopedie van de tweede generatie, is digitaal erfgoed

Wikisage is op 1 na de grootste internet-encyclopedie in het Nederlands. Iedereen kan de hier verzamelde kennis gratis gebruiken, zonder storende advertenties. De Koninklijke Bibliotheek van Nederland heeft Wikisage in 2018 aangemerkt als digitaal erfgoed.

  • Wilt u meehelpen om Wikisage te laten groeien? Maak dan een account aan. U bent van harte welkom. Zie: Portaal:Gebruikers.
  • Bent u blij met Wikisage, of wilt u juist meer? Dan stellen we een bescheiden donatie om de kosten te bestrijden zeer op prijs. Zie: Portaal:Donaties.
rel=nofollow

Albert Visser: verschil tussen versies

Uit Wikisage
Naar navigatie springen Naar zoeken springen
(https://nl.wikipedia.org/w/index.php?title=Albert_Visser&oldid=45112971 Appelsenperenenzo 9 okt 2015)
 
(https://nl.wikipedia.org/w/index.php?title=Albert_Visser&oldid=45158816 GloeiendePlaat Paul Brussel)
 
Regel 1: Regel 1:
{{Infobox wetenschapper
{{Infobox wetenschapper
| naam          = Albert Visser
| naam          = Albert Visser
| afbeelding    = Gw_fil_visseralbert.jpg
| afbeelding    = Albert Visser.jpg
| onderschrift  = [[Professor|Prof.]] [[Doctor|dr.]] Albert Visser in 2011
| onderschrift  = [[Professor|Prof.]] [[Doctor|dr.]] Albert Visser in 2011
| volledigenaam  =  
| volledigenaam  =  
Regel 29: Regel 29:
| extra portaal2 =  
| extra portaal2 =  
}}
}}
 
Prof. dr. '''Albert Visser''' ([[Zwijndrecht (Nederland)|Zwijndrecht]], [[19 december]] [[1950]]) is [[hoogleraar]] aan de [[Universiteit Utrecht]]. Op de [[Universiteit Twente]] waar hij [[Toegepaste_wiskunde|toegepaste wiskunde]] studeerde, is hij begonnen en later studeerde hij [[wiskunde]] op de Universiteit Utrecht. In 1981 promoveerde hij te Utrecht op het [[proefschrift]] ''Aspects of Diagonalization and Provability'' (promotor [[Dirk van Dalen|prof.dr. Dirk van Dalen]]).<ref name=":0">{{Citeer web|titel = prof. dr. Albert Visser - Geesteswetenschappen - Universiteit Utrecht|url = http://www.uu.nl/gw/medewerkers/AVisser|werk = www.uu.nl|bezochtdatum = 2015-10-12}}</ref>
'''Albert Visser''' ([[Zwijndrecht (Nederland)|Zwijndrecht]], [[19 december]] [[1950]]) is [[hoogleraar]] aan de [[Universiteit Utrecht]]. Op de [[Universiteit Twente]] waar hij [[Toegepaste_wiskunde|toegepaste wiskunde]] studeerde, is hij begonnen en later studeerde hij [[wiskunde]] op de Universiteit Utrecht. In 1981 promoveerde hij te Utrecht op het [[proefschrift]] ''Aspects of Diagonalization and Provability'' (promotor [[Dirk van Dalen|prof.dr. Dirk van Dalen]]).<ref name=":0">{{Citeer web|titel = prof. dr. Albert Visser - Geesteswetenschappen - Universiteit Utrecht|url = http://www.uu.nl/gw/medewerkers/AVisser|werk = www.uu.nl|bezochtdatum = 2015-10-12}}</ref>


Zijn onderzoek concentreert zich op [[rekenkunde|rekenkundige]] theorieën, [[interpreteerbaarheid]], [[constructivisme]], de grondslagen van de wiskunde en onderwerpen in de [[taalfilosofie]].<ref name=":0">{{Citeer web|titel = prof. dr. Albert Visser - Geesteswetenschappen - Universiteit Utrecht|url = http://www.uu.nl/gw/medewerkers/AVisser|werk = www.uu.nl|bezochtdatum = 2015-10-12}}</ref>
Zijn onderzoek concentreert zich op [[rekenkunde|rekenkundige]] theorieën, [[interpreteerbaarheid]], [[constructivisme]], de grondslagen van de wiskunde en onderwerpen in de [[taalfilosofie]].<ref name=":0">{{Citeer web|titel = prof. dr. Albert Visser - Geesteswetenschappen - Universiteit Utrecht|url = http://www.uu.nl/gw/medewerkers/AVisser|werk = www.uu.nl|bezochtdatum = 2015-10-12}}</ref>
Regel 36: Regel 35:
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 [[KNAW]].<ref>{{Citeer web|titel = Visser, Prof. dr. A. (Albert) — KNAW|url = https://www.knaw.nl/nl/leden/leden/6718|werk = www.knaw.nl|bezochtdatum = 2015-10-12}}</ref> <ref>{{Citeer web|titel = Prof.dr. A. Visser (http://www.narcis.nl)|url = http://www.narcis.nl/person/RecordID/PRS1240927/Language/nl|werk = www.narcis.nl|bezochtdatum = 2015-10-12}}</ref>
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 [[KNAW]].<ref>{{Citeer web|titel = Visser, Prof. dr. A. (Albert) — KNAW|url = https://www.knaw.nl/nl/leden/leden/6718|werk = www.knaw.nl|bezochtdatum = 2015-10-12}}</ref> <ref>{{Citeer web|titel = Prof.dr. A. Visser (http://www.narcis.nl)|url = http://www.narcis.nl/person/RecordID/PRS1240927/Language/nl|werk = www.narcis.nl|bezochtdatum = 2015-10-12}}</ref>


== Publicaties in 2014 ==
== Bibliografie ==
* Visser, Albert (2014). Interpretability degrees of finitely axiomatized sequential theories. ''Archive for mathematical logic'', 53 (1-2), (pp. 23-42) (20 p.).
*''Aspects of diagonalization & provability''. Utrecht, 1981 ([[proefschrift]]).
* Visser, Albert (2014). Jumping in Arithmetic. ''Logic Group preprint series'', 319 (28 p.).
*''Evaluation, provably deductive equivalence in Heyting's arithmetic of substitution instances of propositional formulas''. Utrecht, 1985.
* 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.).
*''Kunnen wij elke machine verslaan? : beschouwingen rondom Lucas' argument''. Utrecht, 1986.
* Halbach, Volker & Visser, Albert (07-12-2014). Self-reference in Arithmetic I. ''Review of Symbolic Logic'', 7 (4), (pp. 671-691) (20 p.).
*''Peano's smart children. A provability logical study of systems with built-in consistency''. Utrecht, [1986].
* Halbach, Volker & Visser, Albert (2014). Self-reference in Arithmetic II. ''Review of Symbolic Logic'', 7 (4), (pp. 692-712) (20 p.).
*''A course in bimodal provability logic''. Utrecht, 1987.
* 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.
*''Preliminary notes on interpretability logic''. Utrecht, 1988.
* Visser, Albert (2014). The Henkin Sentence. ''Logic Group preprint series'', 317 (14 p.).
*''A descending hierarchy of reflection principles''. Utrecht, 1988.
* Visser, Albert (2014). The Interpretability of Inconsistency: Feferman's Theorem and Related Results. ''Logic Group preprint series'', 318 (39 p.).
*''Interpretability logic''. Utrecht, 1988.
* 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.).
*''The formalization of interpretability''. Utrecht, 1989.
* Visser, Albert & Friedman, Harvey M. (2014). When Bi-Interpretability Implies Synonymy. ''Logic Group preprint series'', 320 (19 p.).
*''On the S01-conservativity of S01-completeness''. Utrecht, 1989.
* 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.<ref>{{Citeer web|titel = Prof.dr. A. Visser (http://www.narcis.nl)|url = http://www.narcis.info/person/RecordID/PRS1240927/Language/nl|werk = www.narcis.info|bezochtdatum = 2015-10-14}}</ref><ref name=":0" />
*''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.


{{Appendix|2=
{{Bron|bronvermelding= {{References}} {{Wikidata|}}}}  
{{References}}
{{DEFAULTSORT:Visser, Albert}}
}}
[[Categorie:Hoogleraar aan de Universiteit Utrecht]]
[[Categorie:Hoogleraar aan de Universiteit Utrecht]]

Huidige versie van 22 okt 2015 om 22:52

Albert Visser
Prof. dr. Albert Visser in 2011
Prof. dr. Albert Visser in 2011
Persoonlijke gegevens
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
Instituten Universiteit Utrecht
Officiële website
rel=nofollow

Prof. dr. Albert Visser (Zwijndrecht, 19 december 1950) is hoogleraar aan de Universiteit Utrecht. Op de Universiteit Twente waar hij toegepaste wiskunde studeerde, is hij begonnen en later studeerde hij wiskunde op de Universiteit Utrecht. In 1981 promoveerde hij te Utrecht op het proefschrift Aspects of Diagonalization and Provability (promotor prof.dr. Dirk van Dalen).[1]

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 KNAW.[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.

Bronvermelding

Bronnen, noten en/of referenties:

  1. ↑ 1,0 1,1 prof. dr. Albert Visser - Geesteswetenschappen - Universiteit Utrecht. www.uu.nl Geraadpleegd op 2015-10-12
  2. º Visser, Prof. dr. A. (Albert) — KNAW. www.knaw.nl Geraadpleegd op 2015-10-12
  3. º Prof.dr. A. Visser (http://www.narcis.nl). www.narcis.nl Geraadpleegd op 2015-10-12
rel=nofollow
Zoek op Wikidata
rel=nofollow
rel=nofollow
Overgenomen van "https://nl.wikisage.org/w/index.php?title=Albert_Visser&oldid=180207"