WeSearch
Hub / Tags / Undecidability
TAG · #UNDECIDABILITY

Undecidability coverage.

Every story in the WeSearch catalog tagged with #undecidability, chronological, with view counts. Subscribe to the per-tag RSS feed to follow this topic in your reader of choice.

1 story tagged with #undecidability, in publish-time order across the WeSearch catalog. Tag pages update as new stories ingest.

⌘ RSS feed for this tag →   or   search "Undecidability"

RELATED TAGS
#logic1#ai1#mathematics1#formal-verification1
ARXIV.ORG

AI proves Medvedev logic is undecidable

We show that Medvedev's logic of finite problems, a well-known superintuitionistic logic, is undecidable. The key method is a reduction from the periodic tiling problem to non-theo…

18 views ·
#logic#artificial intelligence#mathematics

Browse more

All tags Search "Undecidability" RSS feed World US Technology Markets