polyadic predicate logic

predicate logic

Try this search on OneLook / Google


Nearby terms: point « Polish notation « politics « polyadic predicate logic » Polya George » polymorphic » polymorphic lambda-calculus

Polya George

<history of philosophy, biography> Hungarian-American mathematician (1887-1985) whose books How to Solve It (1957) and Mathematical Discovery (1962) offered an interesting variety of heuristics for the solution of mathematical and logical problems and contributed significantly to a transformation in the methods for teaching mathematics. Recommended Reading: George Polya, Mathematics and Plausible Reasoning (Princeton, 1990) and Gerald L. Alexanderson, The Random Walks of George Polya (Math. Assn. of Am., 2000).

[A Dictionary of Philosophical Terms and Names]

<2002-03-11>

Try this search on OneLook / Google


Nearby terms: Polish notation « politics « polyadic predicate logic « Polya George » polymorphic » polymorphic lambda-calculus » polymorphism