Filter
Matematiske fundament
Filter
Mathematicians at every level use diagrams to prove theorems. "Mathematical Reasoning with Diagrams" investigates the possibilities of mechanizing this sort of diagrammatic …
Modal logic originated in philosophy as the logic of necessity and possibility. Now it has reached a high level of mathematical sophistication and has many applications in a …
Jon Barwise (1942-2000) was a noted scholar of mathematical logic and philosophy who served on the faculties of Yale University, the University of Wisconsin, Stanford University …
Jon Barwise (1942-2000) was a noted scholar of mathematical logic and philosophy who served on the faculties of Yale University, the University of Wisconsin, Stanford University …
This book presents an attempt to develop a theory of knowledge and a philosophy of mind using ideas derived from the mathematical theory of communication developed by Claude …