12

Questions

3

votes

1

answer

166

views

History of provably total functions of a theory

lo.logic proof-theory ho.history-overview reference-request

jun 27 at 5:03 Zhang Jing 309●1●1●6

1

2

votes

0

answers

162

views

Oracle sparating FIP for bounded-depth Frege from FIP for Frege (and hardness conditions on DDH)

computational-complexity proof-complexity lo.logic cryptography feasible-interpolation

jul 16 11 at 6:48 Kaveh 2,187●5●24