Analysis of online mathematics forums can help reveal how explanation is used by mathematicians; we contend that this use of explanation may help to provide an informal conceptualization of simplicity. We extracted six conjectures from recent philosophical work on the occurrence and characteristics of explanation in mathematics. We then tested these conjectures against a corpus derived from online mathematical discussions. To this end, we employed two techniques, one based on indicator terms, the other on a random sample of comments lacking such indicators. Our findings suggest that explanation is widespread in mathematical practice and that it occurs not only in proofs but also in other mathematical contexts. Our work also provides further evidence for the utility of empirical methods in addressing philosophical problems. This article is part of the theme issue 'The notion of 'simple proof' - Hilbert's 24th problem'.
Download full-text PDF |
Source |
|---|---|
| http://www.ncbi.nlm.nih.gov/pmc/articles/PMC6365846 | PMC |
| http://dx.doi.org/10.1098/rsta.2018.0159 | DOI Listing |
Publication Analysis
Top Keywords
Similar Publications
Efficacy and compatibility mechanism of bear bile powder in Shexiang Tongxin dropping pills for acute myocardial infarction treatment.
Chin Med
January 2025
Pharmaceutical Informatics Institute, College of Pharmaceutical Sciences, Zhejiang University, Hangzhou, 310058, China.
Background: Bear bile powder (BBP), a unique animal-derived medicine with anti-inflammatory and antioxidant effects, is used in Shexiang Tongxin dropping pills (STDP), which is applied to treat cardiovascular diseases, including acute myocardial infarction (AMI). The efficacy and compatibility mechanisms of action of BBP in STDP against cardiovascular diseases remain unclear. This study aimed to investigate the compatibility effects of BBP in STDP in rats with AMI.
View Article and Find Full Text PDFPredicting bullying victimization among adolescents using the risk and protective factor framework: a large-scale machine learning approach.
BMC Public Health
January 2025
Statistics, Brigham Young University, Provo, 84602, Utah, USA.
Background: Bullying, encompassing physical, psychological, social, or educational harm, affects approximately 1 in 20 United States teens aged 12-18. The prevalence and impact of bullying, including online bullying, necessitate a deeper understanding of risk and protective factors to enhance prevention efforts. This study investigated the key risk and protective factors most highly associated with adolescent bullying victimization.
View Article and Find Full Text PDFExplainable vision transformer for automatic visual sleep staging on multimodal PSG signals.
NPJ Digit Med
January 2025
Graduate School of Data Science, Seoul National University, Seoul, Republic of Korea.
Polysomnography (PSG) is crucial for diagnosing sleep disorders, but manual scoring of PSG is time-consuming and subjective, leading to high variability. While machine-learning models have improved PSG scoring, their clinical use is hindered by the 'black-box' nature. In this study, we present SleepXViT, an automatic sleep staging system using Vision Transformer (ViT) that provides intuitive, consistent explanations by mimicking human 'visual scoring'.
View Article and Find Full Text PDFDeep learning classification of MGMT status of glioblastomas using multiparametric MRI with a novel domain knowledge augmented mask fusion approach.
Sci Rep
January 2025
Department of Electrical Electronical Engineering, Yaşar University, Bornova, İzmir, Turkey.
We aimed to build a robust classifier for the MGMT methylation status of glioblastoma in multiparametric MRI. We focused on multi-habitat deep image descriptors as our basic focus. A subset of the BRATS 2021 MGMT methylation dataset containing both MGMT class labels and segmentation masks was used.
View Article and Find Full Text PDFPotential value of novel multiparametric MRI radiomics for preoperative prediction of microsatellite instability and Ki-67 expression in endometrial cancer.
Sci Rep
January 2025
Department of Oncology, The First Affiliated Hospital of Yangtze University, Jingzhou, Hubei, China.
Exploring the potential of advanced artificial intelligence technology in predicting microsatellite instability (MSI) and Ki-67 expression of endometrial cancer (EC) is highly significant. This study aimed to develop a novel hybrid radiomics approach integrating multiparametric magnetic resonance imaging (MRI), deep learning, and multichannel image analysis for predicting MSI and Ki-67 status. A retrospective study included 156 EC patients who were subsequently categorized into MSI and Ki-67 groups.
View Article and Find Full Text PDFWant AI Summaries of new PubMed Abstracts delivered to your In-box?
Enter search terms and have AI summaries delivered each week - change queries or unsubscribe any time!