Sentence examples for mathematical logic one from inspiring English sources

Note, however, that while in mathematical logic one would typically take the word 'language' to mean an underlying (formal) language in which both theorems and definitions are expressed, we use the word language in a different sense.

Mathematical logic is, on the one hand, the study of the logic of mathematics rigorizing the notions of "proof" and "example" in the framework of formal logic.

We worked mainly on mathematical logic and the philosophy of mathematics.

During the rise of modern formal logic following Frege and Peirce, adherents of Traditional Logic (seen as the descendant of Aristotelian Logic) and the new mathematical logic tended to see one another as rivals, with incompatible notions of logic.

Rogers' research interests were in mathematical logic, and he is credited as one of the main developers of recursion theory, and of the usefulness and validity of informal methods in this area.

That is, an ontology serves as a formal model through which one can employ mathematical logic to clarify and define concepts and relationships within a domain of interest.

The journal publishes research papers and occasionally surveys or expositions on mathematical logic.

Logic therefore is descriptive but not creative: by the use of logic, one will never obtain mathematical truths that are not obtainable by a direct mathematical construction (Brouwer 1949C, 1243).

Its influence on the development of mathematical logic and the philosophy of mathematics has been immense.

If I am doing mathematical logic, I take great pains to work within one of those logical systems which are believed to be foolproof.

Research Focus: Mathematical logic, computational theory, recursive mathematics, nonstandard logics, nonmontonic logics, AI, applied mathematics.