constructivism

mathematical viewpoint that existence proofs must be constructive
rdfs:label
"constructivism"@en
skos:altLabel
"constructive mathematics"@en
"constructivist mathematics"@en
"mathematical constructivism"@en
schema:description
"mathematical viewpoint that existence proofs must be constructive"@en
schema:dateModified "2026-06-15T17:32:20+00:00"^^xsd:dateTime
schema:version 2506380150
wikibase:identifiers 18
wikibase:sitelinks 23
wikibase:statements 25
p:P11514 wd:statement/Q1137814-505B3425-7F24-46AD-9505-FCBD457D71B0
p:P1343 wd:statement/Q1137814-ca803e8e-3819-4026-ab1a-30da43fb0937
p:P13591 wd:statement/Q1137814-7692FC10-A4E0-4D08-8570-7C8C50426104
p:P1417 wd:statement/Q1137814-D73BA4AE-F0B4-424A-B9EB-0B0F900AC305
p:P1482 wd:statement/Q1137814-0e4c5cb6-4a6f-a4e2-b3ee-dc803607ac83
wd:statement/Q1137814-b9bcb2bb-4547-e6b2-28b6-d04830d3dab7
wd:statement/Q1137814-e1d471ab-4e6e-4da3-911b-b2a757ac8f76
p:P227 wd:statement/Q1137814-46D2683B-186D-4A0F-B9AF-60655EC080C0
p:P2581 wd:statement/Q1137814-1770E48F-1E34-4FB0-8C19-C4436EB257CE
p:P279 wd:statement/Q1137814-0d48eeaf-4e29-368a-ae47-49d550204f1d
p:P2924 wd:statement/Q1137814-0a74df28-4270-2f5c-4ac4-7ef6603070ce
p:P3123 wd:statement/Q1137814-6B916675-9AEA-4A4D-B863-01BC6A658EFA
p:P3219 wd:statement/Q1137814-496A45D1-372A-4789-BEE4-9BAF2758875B
p:P361 wd:statement/Q1137814-10c9791c-4cdc-b598-adb2-22d1f427a03a
p:P3827 wd:statement/Q1137814-28F7DE96-A38C-499E-B145-56FF6E19B703
wd:statement/Q1137814-6D26D5C4-D0C3-4BC8-B5E3-18FCC8A81628
p:P4215 wd:statement/Q1137814-97612a47-4dc5-26fb-cd90-802a6c99428e
p:P5088 wd:statement/Q1137814-FAE52820-91CE-4402-AE1B-0908D59F7372
p:P6366 wd:statement/Q1137814-5C7A27B3-763B-46C7-897D-0A1464B4AE97
p:P646 wd:statement/Q1137814-F0915F0C-B3F2-4F5E-95FC-A53C51CA40A2
p:P691 wd:statement/Q1137814-8A03889B-D90C-4DFA-81A5-17112900DEDB
p:P7554 wd:statement/Q1137814-756957ef-4d1b-c176-4079-594abe4b76be
p:P8313 wd:statement/Q1137814-0d75e712-4155-1948-be52-bde4096787c9
p:P8408 wd:statement/Q1137814-80273232-A8F3-442B-BBD1-E6CD7525C2DC
p:P910 wd:statement/Q1137814-AA9F467F-E7DA-4AC3-9010-D4C8B47789EF
p:direct-normalized/P227 <https://d-nb.info/gnd/4165105-4>
p:direct-normalized/P2581 <http://babelnet.org/rdf/s13993378n>
p:direct-normalized/P6366 <https://makg.org/entity/104283011>
p:direct-normalized/P8408 <http://kbpedia.org/kko/rc/ConstructivismMathematics>
wdt:P11514 "konstruktivnaia-matematika-bb072a"
wdt:P1343 Armenian Soviet Encyclopedia, vol. 5
wdt:P13591 "concept/e7e2c48e-4934-4516-8ab0-0e6dcf5e6c88"
wdt:P1417 "topic/constructivism-philosophy-of-mathematics"
wdt:P1482 <https://cstheory.stackexchange.com/tags/constructive-mathematics>
<https://mathoverflow.net/tags/constructive-mathematics>
<https://proofassistants.stackexchange.com/tags/constructive>
wdt:P227 "4165105-4"
wdt:P2581 "13993378n"
wdt:P279 point of view
wdt:P3123 "mathematics-constructive"
wdt:P3219 "constructivisme-mathematique"
wdt:P361 philosophy of mathematics
wdt:P3827 "constructive-mathematics"
"mathematical-constructivism"
wdt:P4215 "constructive mathematics"
wdt:P5088 "con-math"
wdt:P6366 "104283011"
wdt:P646 "/m/05956"
wdt:P691 "ph293198"
wdt:P7554 "Constructive_mathematics"
wdt:P8313 "konstruktivistisk_logik"
wdt:P8408 "ConstructivismMathematics"
wdt:P910 Category:Constructivism (mathematics)
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata