[sharkbot]

I don't think Carroll's remark is inconsistent. Rather, he's attempting to show the correspondence between everyday physics and (something like) elementary number theory; both consist of an agreed-upon set of axioms, subsequently focusing future work on identifying how those axioms interact to produce interesting results.

The realization that there are still areas of research doesn't overshadow the amazing fact that we have near-certainty of the foundations responsible for everyday experiences.

[zeynel1]

" the correspondence between everyday physics and (something like) elementary number theory"

Can you give an example where he is talking about 'number theory'?