Person:318140

Available identifiers

zbMath Open alexander.samuel-allenMaRDI QIDQ318140

List of research outcomes

Publication	Date of Publication	Type
Strengthening Consistency Results in Modal Logic	2024-02-28	Paper
Formal differential variables and an abstract chain rule	2022-11-08	Paper
Short-circuiting the definition of mathematical knowledge for an artificial general intelligence	2021-10-18	Paper
SELF-REFERENTIAL THEORIES	2021-04-15	Paper
Measuring the intelligence of an idealized mechanical knowing agent	2019-12-02	Paper
Contours and tight clusters	2016-10-04	Paper
Guessing, mind-changing, and the second ambiguous class	2016-05-25	Paper
An alternative construction of internodons: the emergence of a multi-level tree of life	2015-07-01	Paper
Fast-collapsing theories	2015-06-18	Paper
Arithmetical algorithms for elementary patterns	2015-02-23	Paper
A machine that knows its own code	2014-09-26	Paper
An axiomatic version of Fitch's paradox	2014-03-28	Paper
Biologically unavoidable sequences	2013-06-07	Paper
The first-order syntax of variadic functions	2013-01-30	Paper
The Rule of Global Necessitation	2012-10-03	Paper
Infinite graphs in systematic biology, with an application to the species problem	2012-01-13	Paper
A Dichotomy in Machine Knowledge	2011-08-04	Paper
A Cantor-Bendixson-like process which detects Delta_2^0	2011-06-13	Paper
On Guessing Whether A Sequence Has A Certain Property	2011-06-06	Paper
Highly lopsided information and the Borel hierarchy	2011-06-01	Paper

Research outcomes over time

This page was built for person: Samuel A. Alexander