Oracle hypermachines faced with the verification problem
type: Dataset
description: International audience
landing page: Computing Nature
keyword: computability
keyword: conference-papers
keyword: hypercomputation
keyword: hypermachine
keyword: infoeu-reposemanticsconferenceobject
keyword: oracle-hypermachine
keyword: randomness
keyword: shshisphilsohumanities-and-social-scienceshistory-philosophy-and-sociology-of-sciences
keyword: verification-problem
issued: 2026-05-15T07:39:45.282738
modified: 2026-05-15T07:39:45.282745
language: en
contact point: Organization
  fn: CCSD

test_moissonnage_selune
type: Agent

Oracle hypermachines faced with the verification problem
type: Distribution
format: HTML
access URL: https://shs.hal.science/halshs-00775841
issued: 2026-05-15T07:39:45.311111
modified: 2026-05-15T07:39:45.256707