16 126 809 książek w 175 językach
Jednak się nie przyda? Nic nie szkodzi! U nas możesz zwrócić towar do 30 dni
Bon prezentowy to zawsze dobry pomysł. Obdarowany może za bon prezentowy wybrać cokolwiek z naszej oferty.
30 dni na zwrot towaru
The use of diagrams in logic and geometry has encountered resistence throughout the years. For a proof to be valid in geometry it must not rely on the graphical properties of a diagram. In logic the teaching of proofs depends on the sentenial representations, ideas formed as natural language sentences such as "if A is true and B is true...". No serious formal proof system is based on diagrams. This text explores the reasons why structured graphics have been ignored in modern formal theories of axiomatic systems. The effects of historical forces on the evolution of diagrammatically-based systems of inference in logic and geometry are explored, from antiquity to the early 20th-century work of David Hilbert. From this exploration emerges an understanding that the present negative attitudes towards the use of diagrams in logic and geometry owe more to implicit appeals to their history and philosophical background than to any technical incompatibility with modern theories of logical systems.