ramos_2021_proof_explanation

760 comparisons among 9 agents.

About this table

DescriptionMathematicians' comparative judgements of which of two proofs is more explanatory: 9 proofs, 38 judges, 760 decisions in two groups (Auckland, Rutgers); agent_a = proof chosen.
ReferenceMejía Ramos, J. P., Evans, T., Rittberg, C., & Inglis, M. (2021). Mathematicians' assessments of the explanatory value of proofs. Axiomathes, 31(5), 575-599.
DOI10.1007/s10516-021-09545-8
LicenceCC BY-NC 4.0
Source datahttps://doi.org/10.17028/rd.lboro.12458486.v1

Size and shape

Comparisons760
Agents9

Columns

agent_aagent_bdategrouphomefieldratertime_takenwinner

Get the data

Licence: CC BY-NC 4.0 — non-commercial use only.

Download CSVno account neededBrowse on Redivisexplore and queryCroissant metadataHugging Face, Kaggle, OpenML

Or load it directly in R or Python (both need a free Redivis account; the first call opens a browser to sign in):

# R
install.packages("remotes")
remotes::install_github("itemresponsewarehouse/Rpkg")
library(irw)
df <- irw_fetch("ramos_2021_proof_explanation", source = "comp")
# Python
pip install irw

import irw
df = irw.fetch("ramos_2021_proof_explanation", source="comp")

How to cite

@article{Mej_a_Ramos_2021, title={Mathematicians’ Assessments of the Explanatory Value of Proofs}, volume={31}, ISSN={1572-8390}, url={http://dx.doi.org/10.1007/s10516-021-09545-8}, DOI={10.1007/s10516-021-09545-8}, number={5}, journal={Axiomathes}, publisher={Springer Science and Business Media LLC}, author={Mejía Ramos, Juan Pablo and Evans, Tanya and Rittberg, Colin and Inglis, Matthew}, year={2021}, month=Mar, pages={575–599} }

Version and provenance

IRW versionv607
Redivis datasetirw_competitions v6.3
Redivis dataset DOI10.57761/7qpg-cj26
Manifest pin for this IRW versionv6.3
Metadata sourceirw_meta v47.0