Correctness of assertion and validity of inference
Bibliographic Data
| ID | 20142811 |
|---|---|
| Authors | PER MARTIN‐LÖF (Department of Mathematics Stockholm University Stockholm Sweden), Per Martin-Löf (Stockholm University, corresponding author) |
| Year | 2024 |
| Volume | 90 |
| Issue | 5 |
| Pages | 528-533 |
| Publication date | 2024-10-01 |
| Peer Reviewed | Yes |
| Open Access | Yes |
| Type | ARTICLE |
| Venue | Theoria (JOURNAL) |
| Journal identifiers | ISSN: 0040-5825 • E-ISSN: 1755-2567 |
| Publisher | Wiley (PUBLISHER • GB) |
| DOI | 10.1111/theo.12540 |
| OpenAlex | W4400761016 |
| Language | EN |
| Citations received | 1 |
This is a slightly edited transcript of a lecture given by Per Martin‐Löf on 26 October 2022 at the Rolf Schock Symposium in Stockholm. In 2020, the Rolf Schock Prize in Logic and Philosophy was awarded to Dag Prawitz and Per Martin‐Löf, and the symposium was organised in their honour. The transcript was prepared by Ansten Klev and edited by the author
Algorithm · Assertion · Correctness · Epistemology · Inference · Programming language · Biomedical Text Mining and Ontologies · Computer Science · Philosophy
| Unique citing works | 1 |
|---|---|
| Citations per year | 0,5 |
| Citation span | 2024 - 2024 (1) |
| Citation velocity | recent |
| Highly cited | No |
| Citation types | Neutral: 1 |