 |
|
|
Item Details
| Title:
|
EUCLID AND HIS TWENTIETH-CENTURY RIVALS
DIAGRAMS IN THE LOGIC OF EUCLIDEAN GEOMETRY |
| By: |
Nathaniel Miller |
| Format: |
Paperback |
| List price:
|
£22.00 |
| Our price: |
£19.80 |
| Discount: |
|
| You save:
|
£2.20 |
|
|
|
|
|
| ISBN 10: |
1575865084 |
| ISBN 13: |
9781575865089 |
| Availability: |
Usually dispatched within 1-3 weeks.
 Delivery
rates
|
| Stock: |
Currently 0 available |
| Publisher: |
CENTRE FOR THE STUDY OF LANGUAGE & INFORMATION |
| Pub. date: |
1 April, 2007 |
| Series: |
CLSI - Studies in the Theory and Applications of Diagrams |
| Pages: |
120 |
| Description: |
Twentieth-century developments in logic and mathematics have led many people to view Euclid's proofs as inherently informal, especially due to his use of diagrams. This work discusses the history of such diagrams in Euclidean geometry, develops a formal system for working with them, and concludes that they can indeed be used rigorously. |
| Synopsis: |
Twentieth-century developments in logic and mathematics have led many people to view Euclid's proofs as inherently informal, especially due to his use of diagrams. In "Euclid and His Twentieth-Century Rivals", Nathaniel Miller discusses the history of such diagrams in Euclidean geometry, develops a formal system for working with them, and concludes that they can indeed be used rigorously. Miller also introduces a diagrammatic computer proof system, based on this formal system. This volume will be of interest to mathematicians, computer scientists, and anyone interested in the use of diagrams in geometry. |
| Illustrations: |
Illustrations |
| Publication: |
US |
| Imprint: |
Centre for the Study of Language & Information |
| Returns: |
Returnable |
|
|
|
 |
|
|
|
|
|
Little Worried Caterpillar (PB)
Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.
|
|
All the Things We Carry PB
What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.
|
|
|
|