Google has acquired small visual search-related startup Undecidable Labs for an undisclosed amount, putting the firm's founder Cathy Edwards (a former engineering director at Apple) in charge of its ...

In this paper we study generic complexity of undecidable problems. It turns out that some classical undecidable problems are, in fact, strongly undecidable, i.e., they are undecidable on every ...

A logical paradox at the heart of mathematics and computer science turns out to have implications for the real world, making a basic question about matter fundamentally unanswerable. In 1931, Austrian ...

Moral dilemmas are often undecidable. Which is to say, there are times when we lack solid rational grounds for choosing between two (or more) compelling courses of action. In those moments, after ...