The simplest and most natural definition of the term ‘conspiracy theory’ leads us to conclusion that we are all conspiracy theorists. Yet, I claim would not self-identify as such. In this paper call problem self-identification. Since virtually everyone emerges a theorist, is essentially theoretically fruitless. It be like defining intelligence in way makes intelligent. This raises for theoretic...

Previous articleNext article No AccessWilliam Whewell, Cluster Theorist of KindsZina B. WardZina Ward Search for more articles by this author PDFPDF PLUS Add to favoritesDownload CitationTrack CitationsPermissionsReprints Share onFacebookTwitterLinkedInRedditEmailPrint SectionsMoreDetailsFiguresReferencesCited HOPOS Just Accepted Sponsored The International Society the History Philosophy Scienc...

Inductive theorem provers often diverge. This paper describes a critic which monitors the construction of inductive proofs attempting to identify diverging proof attempts. The critic proposes lemmas and generalizations which hopefully allow the proof to go through without divergence. The critic enables the system SPIKE to prove many theorems completely automatically from the deenitions alone.