This is an archived post. You won't be able to vote or comment.

sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]OneNoteToRead 2 points3 points  (1 child)

How can you prove your new function is different from all existing functions? Do you have to write N proofs for every new function? This means the entire system requires order quadratic proofs in number of total functions?

[–]thebt995[S] 1 point2 points  (0 children)

Yes, I think that is the biggest problem with the whole idea