his.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
A Note on the Relation Between Formal and Informal Proof
University of Skövde, School of Life Sciences. Dept. of Philosophy, Linguistics, and Theory of Science, University of Göteborg.
2010 (English)In: Acta Analytica, ISSN 0353-5150, E-ISSN 1874-6349, Vol. 25, no 4, 447-458 p.Article in journal (Refereed) Published
Abstract [en]

Using Carnap’s concept explication, we propose a theory of concept formation in mathematics. This theory is then applied to the problem of how to understand the relation between the concepts formal proof (deduction) and informal, mathematical proof.

Place, publisher, year, edition, pages
Springer Netherlands, 2010. Vol. 25, no 4, 447-458 p.
Keyword [en]
Concept formation in mathematics, Explication, Formal proof, Informal proof, Mathematization
National Category
Mathematics
Research subject
Natural sciences
Identifiers
URN: urn:nbn:se:his:diva-4331DOI: 10.1007/s12136-009-0084-yISI: 000284266900005Scopus ID: 2-s2.0-78649317475OAI: oai:DiVA.org:his-4331DiVA: diva2:345641
Available from: 2010-08-26 Created: 2010-08-26 Last updated: 2016-12-16Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Sjögren, Jörgen
By organisation
School of Life Sciences
In the same journal
Acta Analytica
Mathematics

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 765 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf