sangwin_2021_proof_rigour_insight

About this table

Notes

• excluded = 1 marks the decisions of judges whose median time per judgement was under 5 seconds (484 of 3,969). Sangwin & Kinnear dropped these as nonserious judges, and their analyses and the Kinnear et al. CJ meta-analysis use the remaining 3,485. (irw#2692)

These notes describe the source data, which the IRW reproduces as released. All notes are listed on the Data Notes page.

Size and shape

Columns

agent_aagent_bexcludedhomefieldratersessiontime_takenwinner

Get the data

Or load it directly in R (no account needed with irw 1.4.0 or later) or Python (needs a free Redivis account; the first call opens a browser to sign in):

# R
install.packages("irw")
library(irw)
df <- irw_fetch("sangwin_2021_proof_rigour_insight", source = "comp")

# Python
pip install irw

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

Or in Stata, which reads the same no-account CSV as the button above:

* Stata
net install irw, from("https://raw.githubusercontent.com/itemresponsewarehouse/Stata-pkg/main/")

irw_fetch sangwin_2021_proof_rigour_insight, clear source(comp)

How to cite

@article{Sangwin_2021, title={Investigating insight and rigour as separate constructs in mathematical proof}, url={http://dx.doi.org/10.35542/osf.io/egks4}, DOI={10.35542/osf.io/egks4}, publisher={Center for Open Science}, author={Sangwin, Chris and Kinnear, George}, year={2021}, month=June }

Version and provenance