Geef de sterke variant van de Church-Turing these:

  • Elk fysisch realiseerbaar algoritmisch proces kan 
worden gesimuleerd op een 1-tape DTm met 
polynomiale overhead. (Dit wordt algemeen geaccepteerd, mogelijke uitzondering voor quantum computing.)

    Rapporteer Plaats commentaar