Search Results for: Processors combined with logic circuits
how they form hierarchies of more complex structures and concepts, especially the fundamentally important structures that form the language of mathematics (formulas, theories and their models giving a meaning to formulas, definitions, proofs, algorithms, etc.) also called metamathematical concepts , with
, with strong links to theoretical computer science . it went through a series of crises with paradoxical results, until the discoveries stabilized during the th century as a large and coherent body of mathematical knowledge with several aspects or components ( set theory , model theory , proof theory...
https://en.wikipedia.org/wiki/Foundations_of_mathematics