Skip to main content
Home Home
Subject
Talk Type
  • Talks
  • Collections
  • Seminar Series
  • For Researchers
  • For Students
  • For the Public
  • About PIRSA
Quantum equations on a blackboard

Marco David

Talks by Marco David

  • Formal reasoning with a computer assistant: A quantitative solution to Hilbert's Tenth Problem

    Marco David - University of California, Berkeley

    October 14, 2025 PIRSA:25100157 Scientific Series Quantum Foundations

© Copyright 2003-2026 PIRSA