Sort by
Refine Your Search
-
political attitudes, reducing belief in conspiracy theories, and, more recently, increasing belief in them. The research sits at the intersection of AI safety and behavioral science, examining both
-
Structures: the formal study of mathematical proof itself, as a subject in computational complexity, type theory, metamathematics, logic, and beyond. What is the space of mathematical truth, and what proofs
-
subject in computational complexity, type theory, metamathematics, logic, and beyond. What is the space of mathematical truth, and what proofs are there to be discovered? Theme Three: Cyborg Proofs: the use
Searches related to control theory
Enter an email to receive alerts for control-theory positions