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

Uit Wikisage
Versie door O (overleg | bijdragen) op 22 okt 2015 om 22:36 (https://nl.wikipedia.org/w/index.php?title=Albert_Visser&oldid=45112971 Appelsenperenenzo 9 okt 2015)
(wijz) ← Oudere versie | Huidige versie (wijz) | Nieuwere versie → (wijz)
Naar navigatie springen Naar zoeken springen
rel=nofollow

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]

Publicaties in 2014

  • 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.[4][1]

Bronnen, noten en/of referenties

Bronnen, noten en/of referenties
  1. 1,0 1,1 1,2 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
  4. º Prof.dr. A. Visser (http://www.narcis.nl). www.narcis.info Geraadpleegd op 2015-10-14
rel=nofollow
rel=nofollow