Menu

U kunt met ons chatten op maandag van 9.00-12.30 uur, dinsdag en donderdag van 9.00-16.00 uur, en woensdag en vrijdag van 9.00-12.30 en 19.00-22.00 uur.

Kijk voor veelgestelde vragen ook in onze FAQ.
Uw zoekacties: Beth, prof. dr. E.W., te Amsterdam

423 Beth, prof. dr. E.W., te Amsterdam

Uitleg bij archieftoegang

Een archieftoegang geeft uitgebreide informatie over een bepaald archief.

Een archieftoegang bestaat over het algemeen uit de navolgende onderdelen:

• Kenmerken van het archief
• Inleiding op het archief
• Inventaris of plaatsingslijst
• Eventueel bijlagen

De kenmerken van het archief zijn o.m. de omvang, vindplaats, beschikbaarheid, openbaarheid en andere.

De inleiding op het archief bevat interessante informatie over de geschiedenis van het archief, achtergronden van de archiefvormer en kan ook aanwijzingen voor het gebruik bevatten.

De inventaris of plaatsingslijst is een hiërarchisch opgebouwd overzicht van beschreven archiefstukken. De beschrijvingen zijn formeel en globaal. Het lezen en begrijpen van een inventaris behoeft enige oefening en ervaring.

Bij het zoeken in de inventaris wordt de hiërarchie gevolgd. De rubrieken in de inventaris maken deel uit van de beschrijving op een lager niveau. Komt de zoekterm in een hoger niveau voor, dan voldoen onderliggende niveaus ook aan de zoekvraag.

beacon
 
 
Naar boven om te zoeken
423   Beth, prof. dr. E.W., te Amsterdam
Introduction
1. Biographical note
2. History, scope and contents of the Evert Willem Beth Papers
3. Arrangement and description
4. Directions for the user of this inventory
5. Bibliography
laatste wijziging 12-09-2023
1.902 beschreven archiefstukken
19 gedigitaliseerd
totaal 2.733 bestanden
Inventory
1. Papers of Evert Willem Beth, (1908-1964)
2. Other documents found with the Evert Willem Beth Papers
3. Collected documents
4. Appendices
4.1. Appendix 1: alphabetical index to the names of correspondents in the Beth Papers
4.2. Appendix 2, alphabetical index to the names of students in inv.nrs. 123-126
4.3. Appendix 3; contents of inv.nr. 220, 'Voordrachten Amerika-reis, 1952'
4.4. Appendix 4; contents of inv.nr. 305, 'Scribbled notes and fragments'
4.5. Appendix 5; list of books by Beth, Bibliographic supplement to section 2.2.5.1 (inv.nrs. 315-415)
4.6. Appendix 6; contents of inv.nr. 415, 'Reviews of Beth's books'
4.7. Appendix 7; list of Beth's contributions to encyclopedic works. Bibliographic supplement to section 2.2.5.2 (inv.nrs. 416-429)
4.8. Appendix 8; contents of inv.nrs. 430-436, 'Collected articles'. First bibliographic supplement to section 2.2.5.3 (inv.nrs. 437-585)
4.9. Appendix 9; list of articles not in the 'Collected articles'. Second bibliographic supplement to section 2.2.5.3 (inv.nrs. 437-585)
423 Beth, prof. dr. E.W., te Amsterdam
Inventory
4. Appendices
4.9.
Appendix 9; list of articles not in the 'Collected articles'. Second bibliographic supplement to section 2.2.5.3 (inv.nrs. 437-585)
NB:
The articles in this appendix include both those relating to which documents were found in the Beth Papers and those relating to which no documents were found. The list was composed using a bibliography of his own publications by Beth,NHA, Evert Willem Beth Papers, inv.nr. 84. a bibliography by J.F. Staal,J.F. Staal (1965): 167-179; revised as J.F. Staal (1966): 90-106. and additions to these two bibliographies listed in the finding-aid by Ribberink and Van Ulsen.NHA, Evert Willem Beth Papers, inv.nr. 908, p. 165-167.
The articles in this appendix have been arranged by year of publication and within one year alphabetically by title. English translations of titles of Dutch articles were taken over from the bibliography by J.F. Staal.J.F. Staal (1965): 167-179; revised as J.F. Staal (1966): 90-106. The presence of files in the Beth Papers has been indicated by references to inventory number(s). The presence of reviews by references to Appendix 10. References have been made from section 2.2.5.3 to this appendix. For a list of abbreviations of journal titles, see p. 81.
laatste wijziging 12-08-2016
'Critiek van Vredenduin's "Logica der wiskunde"'. Euclides 10 (1933-1934): 214-218
'Actie = Reactie' (Action = Reaction). 'Korrel' XLII, Euclides 16 (1939-1940): 251
'Opmerkingen Alders' (Remarks of Alders). 'Korrel' LVI, Euclides 17 (1940-1941): 211
'Hoofdstukken uit de moderne formele logica' (Chapters from modern formal logic). Euclides 18 (1941-1942): 93-107; 19 (1942-1943): 63-86 and 147-160
'Logical and psychological aspects in the consideration of language'. Synthese 5 (1946-1947): 542-544
'Analyse sémantique des théories physiques'. Synthese 7 (1948-1949): 206-207
'Drielichamenprobleem'. 'Korrel' LXXXIII', Euclides 23 (1948): 106-107
'On the Berry paradox'. [abstract] JSL 16 (1951): 239
'Existence of complete models for extensions of the first-order predicate calculus'; 'Existence of models for systems of intuitionistic first-order calculus'; 'On certain properties of formal systems of set theory and their models'. Abstracts 501, BAMS 58 (1952): 502
'On the number of elements in models of axiom systems belonging to the predicate calculus of first order'. [abstract] JSL 17 (1952): 159
'A topological proof of the completeness theorem of Löwenheim-Skolem-Gödel'. [abstract] JSL 17 (1952): 157
'Intuitionistic predicate logic'. In Summaries of talks presented at the Summer Institute of Symbolic Logic in 1957 at Cornell University. N.p., n.d., 113-121
'La logique formelle et la pensée naturelle'. In Epistémologie génétique et recherche psychologique. Paris, 1957, 131-134
'Naschrift' (Postscript). ANTW 50 (1957-1958): 261-262
'Wetenschap en classificatie' (Science and classification). Nederlands Instituut voor Documentatie en Registratuur: Publikatie, 2e serie, Nr. 25. 's-Gravenhage
'De logica der quantoren: zwakke axiomatiseringen voor de rekenkunde'. Wiskunde in de XXe eeuw 2 (1961)
'Rapports nos 1, 2, 3, 6, 8, 10 and 13'. In Compte rendu des travaux effectués par l'Université d'Amsterdam dans le cadre du contrat Euratom. Rapport CETIS no. 26, 1961 [nrs. 2 and 6 with J.J.F. Nieland]
'Axiomatique de la théorie des ensembles sans axiome de l'infini'. Mathématiques des XXe siècle 3 (1962)
'Axiomatische verzamelingenleer zonder oneindigheidsaxioma'. Wiskunde in de XXe eeuw 3 (1962)
'Observations concernant la théorie de la définition'. In Actes du Colloque de Mathématique, réunie à Clermont à l'occasion du tricentenaire de la mort de Blaise Pascal. Clermont-Ferrand, 1962, 83-87
'Les rapports entre langues formalisées et langue naturelle'. In La philosophie analytique. Paris
'Tableaux déductifs pour la logique de l'implication'. In Implication, formalisation et logique naturelle. Paris
'Carnap's view on the advantage of constructed systems over natural languages in the philosophy of science'. In The philosophy of Rudolf Carnap. La Salle, 1963, 469-502
'Het recht op een eigen mening' (Freedom of opinion). In Album Professor Van Goethem. Leuven
'The relationship between formalized languages and natural language'. In Form and strategy in science. Dordrecht
'Banks ab omni naevo vindicatus'. In Contributions to the logic and methodology in honor of I.M. Bochenski. Amsterdam
'Démonstration heuristique et déduction formelle'. In Association Internationale de Cybernétique. N.p., 1965, 209-217
'Over de zogenaamde denkmachine' (On the so-called thinking-machine). In Mens en computer, automatie, industriële en culturele revolutie. Utrecht-Antwerpen
[With J.J.F. Nieland] 'Semantic construction of Lewis's systems S4 and S5'. In Symposium of the theory of models. Amsterdam
'Semantische Begründung der derivativen Implikationslogik'. AfMLuG 7 (1965): 23-28
4.10. Appendix 10; contents of inv.nr. 585, 'Reviews of Beth's scientific articles'
4.11. Appendix 11; contents of inv.nrs. 586-587, 'Reviews by Beth'
4.12. Appendix 12; list of lectures by E.W. Beth of which no text was found with the Beth Papers. Supplement to section 2.2.6.1 (inv.nrs. 626-738)
4.13. Appendix 13; contents of inv.nrs. 902-907, 'Collected manuscripts and reprints'
4.14. Appendix 14; list of subjects in the 'Bibliotheca E.W. Beth'
4.15. Alphabetical index of titles
laatste wijziging 12-09-2023
1.902 beschreven archiefstukken
19 gedigitaliseerd
totaal 2.733 bestanden
Erfgoedstuk

Kenmerken

Datering:
1920-1964
Omvang in meters:
12,30
Periode documenten:
1920-1964 (1980)
Openbaarheid:
gedeeltelijk openbaar
Opheffing openbaarheidsbeperking:
toestemming directeur
Raadpleegmogelijkheid:
Haarlem, Jansstraat, raadpleging mogelijk na transport
Gebruiksinformatie:
Engelstalige inventaris inv.nrs. 1-912. Inzage wordt slechts verleend nadat de verzoeker schriftelijk heeft verklaard bekend te zijn met het feit dat de auteursrechten en de intellectuele eigendom met betrekking tot dit archief berusten bij de Evert Willem Beth Stichting. Inv.nrs. 171, 177 en 215 zijn pas openbaar vanaf 2051. Prof. dr. E.W. Beth (1908-1964) was filosoof, logicus, wiskundige en hoogleraar aan de Universiteit van Amsterdam.
Licentie metadata:
Creative Commons Zero (CC0) - Public Domain Dedication
Categorie:
laatste wijziging 12-09-2023
1.902 beschreven archiefstukken
19 gedigitaliseerd
totaal 2.733 bestanden