Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

John W. Dawson

dblp:87/3940 · DBLP profile ↗
← Back
1ranked-venue papers
1as first author
0since 2021 · last 2006
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
1 paper
Logic in computer science · 77% Computational complexity · 23%

Topics — the 1 heaviest of 2, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Logic in computer science › proof theory
incompleteness theorems
0.112006
Shaken Foundations or Groundbreaking Realignment? A Centennial Assessment of Kurt Gödel's Impact on Logic, Mathematics, and Computer Science · LICS 2006
YearPublicationVenuePosition
2006 Shaken Foundations or Groundbreaking Realignment? A Centennial Assessment of Kurt Gödel's Impact on Logic, Mathematics, and Computer Science
abstract
The publication of Gödel’s incompleteness theorems has frequently been portrayed as a devastating event, from which mathematics has not yet recovered. Yet those same theorems have also been hailed as proving that the powers of the human mind surpass those of any computer. Both those views, however, are caricatures. Gödel’s impact on modern logic has been profound, but the incompleteness theorems did not cause widespread upset at the time of their publication, and subsequent mathematical work outside logic has hardly been affected by them. Nor is mathematics any less "secure" than it was before Gödel’s work.
John W. Dawson
LICS1