The Problem of Proof Identity, and Why Computer Scientists Should Care About Hilbert's 24th Problem

Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences - United Kingdom
doi 10.1098/rsta.2018.0038
Full Text
Abstract

Available in full text

Date
Authors
Publisher

The Royal Society

Related search

Why Should Anyone Care About Extinctions?

Nature
Multidisciplinary
1981English

Why Should We Care About Inequality?

2008English

Why Should We Care About Fly Tumors?

JAK-STAT
2013English

Why Nurses Should Care About Climate Change

Journal of Psychosocial Nursing and Mental Health Services
Psychiatric Mental HealthNursing
2020English

Hilbert's Twelfth Problem and $L$-Series

Bulletin of the American Mathematical Society
1977English

Why Physicists Should Care About the National Information Infrastructure

Computers in Physics
1993English

Why Art Therapists Should Care About Peer Review

Art Therapy
Clinical PsychologyManual TherapyComplementary
2016English

Why Should Medical Students Care About Health Policy?

PLoS Medicine
BiochemistryBiotechnologyMolecular BiologyCell BiologyMedicine
2006English

The Identity Problem

Nature Biotechnology
Applied MicrobiologyBiotechnologyBiomedical EngineeringMolecular MedicineBioengineering
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy