Also known as mathematical constructivism, constructivist mathematics, constructive mathematics
mathematical viewpoint that existence proofs must be constructive
Nella filosofia della matematica, il costruttivismo afferma la necessità di trovare o costruire unoggetto matematico per dimostrare la sua esistenza. Se dall'assunto che un oggetto con determinatecaratteristiche non esista si ricava una contraddizione, ancora non si è trovato l'oggetto in esame e quindi secondo i costruttivisti non si è dimostrata la sua esistenza. Il costruttivismo spesso viene ridotto all'intuizionismo. L'intuizionismo sostiene che i fondamenti della matematica stanno nella intuizione individuale del matematico, facendo quindi della matematica un'attività intrinsecamente soggettiva. L'intuizionismo è però solo una possibile declinazione del costruttivismo, il quale può accettare sia tale visione soggettiva sia una oggettiva.
Abstract from DBpedia / Wikipedia · CC BY-SA
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).