An Entity of Type: administrative region, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Informal mathematics, also called naïve mathematics, has historically been the predominant form of mathematics at most times and in most cultures, and is the subject of modern ethno-cultural studies of mathematics. The philosopher Imre Lakatos in his Proofs and Refutations aimed to sharpen the formulation of informal mathematics, by reconstructing its role in nineteenth century mathematical debates and concept formation, opposing the predominant assumptions of mathematical formalism. Informality may not discern between statements given by inductive reasoning (as in approximations which are deemed "correct" merely because they are useful), and statements derived by deductive reasoning.

Property Value
dbo:abstract
  • Informal mathematics, also called naïve mathematics, has historically been the predominant form of mathematics at most times and in most cultures, and is the subject of modern ethno-cultural studies of mathematics. The philosopher Imre Lakatos in his Proofs and Refutations aimed to sharpen the formulation of informal mathematics, by reconstructing its role in nineteenth century mathematical debates and concept formation, opposing the predominant assumptions of mathematical formalism. Informality may not discern between statements given by inductive reasoning (as in approximations which are deemed "correct" merely because they are useful), and statements derived by deductive reasoning. (en)
  • La Matemática informal, también llamada matemática ingenua, históricamente, por largo tiempo y en muchas culturas ha sido la forma predominante de la matemática, y es el objeto de estudios modernos ethno-culturales sobre esta ciencia. El filósofo Imre Lakatos, en sus Pruebas y Refutaciones, obra destinada a perfeccionar la formulación de la matemática informal, reconstruye su rol en el siglo XIX, debatiendo y conceptualizandola, en oposición a las suposiciones predominantes de la lógica matemática.​ La informalidad no puede discernirse entre los enunciados dados por elrazonamiento inductivo (cuando en aproximaciones que se consideran "correctas" sólo porque son útiles), y las declaraciones derivadas del razonamiento deductivo.​ (es)
dbo:wikiPageID
  • 185493 (xsd:integer)
dbo:wikiPageLength
  • 3562 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1069502389 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dcterms:subject
gold:hypernym
rdf:type
rdfs:comment
  • Informal mathematics, also called naïve mathematics, has historically been the predominant form of mathematics at most times and in most cultures, and is the subject of modern ethno-cultural studies of mathematics. The philosopher Imre Lakatos in his Proofs and Refutations aimed to sharpen the formulation of informal mathematics, by reconstructing its role in nineteenth century mathematical debates and concept formation, opposing the predominant assumptions of mathematical formalism. Informality may not discern between statements given by inductive reasoning (as in approximations which are deemed "correct" merely because they are useful), and statements derived by deductive reasoning. (en)
  • La Matemática informal, también llamada matemática ingenua, históricamente, por largo tiempo y en muchas culturas ha sido la forma predominante de la matemática, y es el objeto de estudios modernos ethno-culturales sobre esta ciencia. El filósofo Imre Lakatos, en sus Pruebas y Refutaciones, obra destinada a perfeccionar la formulación de la matemática informal, reconstruye su rol en el siglo XIX, debatiendo y conceptualizandola, en oposición a las suposiciones predominantes de la lógica matemática.​ La informalidad no puede discernirse entre los enunciados dados por elrazonamiento inductivo (cuando en aproximaciones que se consideran "correctas" sólo porque son útiles), y las declaraciones derivadas del razonamiento deductivo.​ (es)
rdfs:label
  • Matemática informal (es)
  • Informal mathematics (en)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License