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, p. 447-458Article 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, p. 447-458
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, id: diva2:345641
Available from: 2010-08-26 Created: 2010-08-26 Last updated: 2017-12-12Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Sjögren, Jörgen

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

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 767 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