{"id":"https://openalex.org/W2040123936","doi":"https://doi.org/10.2307/421038","title":"Hermann Weyl's Intuitionistic Mathematics","display_name":"Hermann Weyl's Intuitionistic Mathematics","publication_year":1995,"publication_date":"1995-06-01","ids":{"openalex":"https://openalex.org/W2040123936","doi":"https://doi.org/10.2307/421038","mag":"2040123936"},"language":"en","primary_location":{"id":"doi:10.2307/421038","is_oa":false,"landing_page_url":"https://doi.org/10.2307/421038","pdf_url":null,"source":{"id":"https://openalex.org/S130801046","display_name":"Bulletin of Symbolic Logic","issn_l":"1079-8986","issn":["1079-8986","1943-5894"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Bulletin of Symbolic Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5108284861","display_name":"Dirk van Dalen","orcid":null},"institutions":[{"id":"https://openalex.org/I193662353","display_name":"Utrecht University","ror":"https://ror.org/04pp8hn57","country_code":"NL","type":"education","lineage":["https://openalex.org/I193662353"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Dirk van Dalen","raw_affiliation_strings":["Department of Philosophy, Utrecht University, P.O. Box 80.126, 3508 TC, Utrecht, The, NetherlandsE-mail:","Utrecht university >  >  >  >"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Philosophy, Utrecht University, P.O. Box 80.126, 3508 TC, Utrecht, The, NetherlandsE-mail:","institution_ids":["https://openalex.org/I193662353"]},{"raw_affiliation_string":"Utrecht university >  >  >  >","institution_ids":["https://openalex.org/I193662353"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5108284861"],"corresponding_institution_ids":["https://openalex.org/I193662353"],"apc_list":null,"apc_paid":null,"fwci":2.9375,"has_fulltext":false,"cited_by_count":68,"citation_normalized_percentile":{"value":0.89249493,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"1","issue":"2","first_page":"145","last_page":"169"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12170","display_name":"History and Theory of Mathematics","score":0.9869999885559082,"subfield":{"id":"https://openalex.org/subfields/2614","display_name":"Theoretical Computer Science"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12170","display_name":"History and Theory of Mathematics","score":0.9869999885559082,"subfield":{"id":"https://openalex.org/subfields/2614","display_name":"Theoretical Computer Science"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13558","display_name":"Philosophy, Science, and History","score":0.974399983882904,"subfield":{"id":"https://openalex.org/subfields/1207","display_name":"History and Philosophy of Science"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T13400","display_name":"Mathematical and Theoretical Analysis","score":0.9289000034332275,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/intuitionism","display_name":"Intuitionism","score":0.9451271295547485},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.518409013748169},{"id":"https://openalex.org/keywords/foundations-of-mathematics","display_name":"Foundations of mathematics","score":0.49594101309776306},{"id":"https://openalex.org/keywords/dedekind-cut","display_name":"Dedekind cut","score":0.44211143255233765},{"id":"https://openalex.org/keywords/g\u00f6del","display_name":"G\u00f6del","score":0.43592894077301025},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.4212481677532196},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.40605074167251587},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.4002296030521393},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3126083016395569},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.0681760311126709}],"concepts":[{"id":"https://openalex.org/C153107464","wikidata":"https://www.wikidata.org/wiki/Q10879018","display_name":"Intuitionism","level":2,"score":0.9451271295547485},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.518409013748169},{"id":"https://openalex.org/C183140480","wikidata":"https://www.wikidata.org/wiki/Q833585","display_name":"Foundations of mathematics","level":2,"score":0.49594101309776306},{"id":"https://openalex.org/C76449584","wikidata":"https://www.wikidata.org/wiki/Q851333","display_name":"Dedekind cut","level":2,"score":0.44211143255233765},{"id":"https://openalex.org/C2781302003","wikidata":"https://www.wikidata.org/wiki/Q3294091","display_name":"G\u00f6del","level":2,"score":0.43592894077301025},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.4212481677532196},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.40605074167251587},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.4002296030521393},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3126083016395569},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0681760311126709},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.2307/421038","is_oa":false,"landing_page_url":"https://doi.org/10.2307/421038","pdf_url":null,"source":{"id":"https://openalex.org/S130801046","display_name":"Bulletin of Symbolic Logic","issn_l":"1079-8986","issn":["1079-8986","1943-5894"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Bulletin of Symbolic Logic","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","score":0.75,"id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W6754198","https://openalex.org/W132036571","https://openalex.org/W580861338","https://openalex.org/W598087101","https://openalex.org/W1491173026","https://openalex.org/W1573056557","https://openalex.org/W1607953571","https://openalex.org/W1643082515","https://openalex.org/W1975810242","https://openalex.org/W1977324591","https://openalex.org/W1989341191","https://openalex.org/W2027756991","https://openalex.org/W2051685387","https://openalex.org/W2070761857","https://openalex.org/W2088526600","https://openalex.org/W2091036071","https://openalex.org/W2242448088","https://openalex.org/W2327724423","https://openalex.org/W2330723555","https://openalex.org/W2587147656","https://openalex.org/W2798718690","https://openalex.org/W3194009119","https://openalex.org/W4229707482","https://openalex.org/W4251206353","https://openalex.org/W6616838144"],"related_works":["https://openalex.org/W2033220352","https://openalex.org/W4206664173","https://openalex.org/W2620892092","https://openalex.org/W2121449439","https://openalex.org/W2580851395","https://openalex.org/W1965254792","https://openalex.org/W2158516540","https://openalex.org/W2291517666","https://openalex.org/W2911653969","https://openalex.org/W1555643099"],"abstract_inverted_index":{"Dedicated":[0],"to":[1,31,53,56,89,201],"Dana":[2],"Scott":[3],"on":[4,44,50,127,144,223],"his":[5,23,75,166,192],"sixtieth":[6],"birthday":[7],".":[8],"It":[9],"is":[10],"common":[11],"knowledge":[12],"that":[13,41],"for":[14,182],"a":[15,26,66,161,180,202,209],"short":[16,62],"while":[17],"Hermann":[18],"Weyl":[19,72,87,155],"joined":[20],"Brouwer":[21,109],"in":[22,38,48,80,97,152,163,174,184,189,199],"pursuit":[24],"of":[25,28,59,68,111,116,130,132,148,187,206,213,216,220,226],"revision":[27],"mathematics":[29,188],"according":[30],"intuitionistic":[32,150],"principles.":[33],"There":[34],"is,":[35],"however,":[36],"little":[37],"the":[39,57,128,133,145,149,157,170,185,207,214,217,221,224],"literature":[40],"sheds":[42],"light":[43],"Weyl's":[45,54,101,112,153],"role":[46],"and":[47,136],"particular":[49],"Brouwer's":[51,94,105],"reaction":[52],"allegiance":[55],"cause":[58],"intuitionism.":[60],"This":[61],"episode":[63,151],"certainly":[64],"raises":[65],"number":[67],"questions:":[69],"what":[70,98,107],"made":[71,179],"give":[73],"up":[74],"own":[76],"program,":[77],"spelled":[78],"out":[79],"\u201c":[81],"Das":[82],"Kontinuum":[83],"\u201d,":[84],"how":[85],"did":[86,100,108],"come":[88],"be":[90,124],"so":[91],"well-informed":[92],"about":[93],"new":[95,171],"intuitionism,":[96,106],"respect":[99],"intuitionism":[102],"differ":[103],"from":[104],"think":[110],"views,\u2026?":[113],"To":[114],"some":[115,131],"these":[117],"questions":[118],"at":[119],"least":[120],"partial":[121],"answers":[122],"can":[123],"put":[125],"forward":[126],"basis":[129,225],"available":[134],"correspondence":[135],"notes.":[137],"The":[138],"present":[139],"paper":[140,168],"will":[141],"concentrate":[142],"mostly":[143],"historical":[146],"issues":[147],"career.":[154],"entered":[156],"foundational":[158,172],"controversy":[159],"with":[160,165,191],"bang":[162],"1920":[164],"sensational":[167],"\u201cOn":[169],"crisis":[173],"mathematics\u201d.":[175],"He":[176],"had":[177],"already":[178],"name":[181],"himself":[183],"foundations":[186],"1918":[190],"monograph":[193],"\u201cThe":[194],"Continuum\u201d":[195],"[18];":[196],"this":[197],"contained":[198],"addition":[200],"technical":[203],"logical-mathematical":[204],"construction":[205,219],"continuum,":[208],"fairly":[210],"extensive":[211],"discussion":[212],"shortcomings":[215],"traditional":[218],"continuum":[222],"arbitrary\u2014and":[227],"hence":[228],"also":[229],"impredicative\u2014Dedekind":[230],"cuts.":[231]},"counts_by_year":[{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":3},{"year":2015,"cited_by_count":2},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":3}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}