Paul Erdős famously remarked that ‘a mathematician is a machine for turning coffee into theorems’ [9, p. 7]. The proof of mathematical theorems is central to mathematical practice and to much recent debate about the nature of mathematics. This paper is an attempt to introduce a new perspective on the argumentation characteristic of mathematical proof. I shall argue that this account, an applica...

One of the most interesting and promising approaches to programming Internet agents is logic programming of agents. This approach has good prospects, because the ideology and principles of logic programming are very convenient for searching, recognition, and analysis of unstructured, poorly structured, and hypertext information. Many ideas and methods of logic programming of Internet agents bas...

conclusions using fuzzy logic provides an elegant mathematical solution for finding the optimum point of food groups in dietary pattern. results the optimum (lower attention – upper attention) recommended servings per day for fruits, vegetables, grain, meat, dairy, and oils of the 2000 kcal diet were 4.06 (3.75-4.25), 6.69 (6.25-7.00), 5.69 (5.75-6.25), 4.94 (4.5-5.2), 2.75(2.50-3.00), and 2.56...