3 papers
cs.LO2024
Exact Exploration
Andreas Blass, Nachum Dershowitz, Yuri Gurevich
Recent analysis of classical algorithms resulted in their axiomatization as transition systems satisfying some simple postulates, and in the formulation of the Abstract State Machi…
cs.AI2024
On logic and generative AI
Yuri Gurevich, Andreas Blass
A hundred years ago, logic was almost synonymous with foundational studies. The ongoing AI revolution raises many deep foundational problems involving neuroscience, philosophy, com…
quant-ph2024
What are kets?
Yuri Gurevich, Andreas Blass
According to Dirac's bra-ket notation, in an inner-product space, the inner product of vectors can be viewed as an application of the bra $\langle x|…