Tagged Questions
1
vote
1answer
196 views
Expressing P = NP as a first order formula
I want to express P = NP in a completely formal way. My first try:
There exists an algorithm A and a polynomial bound p such that for all input i, A(i) = true iff i is a satisfiable formula and ...
1
vote
2answers
143 views
Informal Equivalents of Mathematica “Set” and “SetDelayed”
How would one distinguish between what is meant by Mathematica's "Set" and "SetDelayed" functions in informal mathematical notation? Is there a way to make this distinction any any reasonably standard ...
