.png)
- Obecnie brak na stanie
Philosophy of Mathematics
ID: 174232
Dov M. Gabbay, Paul Thagard, John Woods, Andrew Irvine
One of the most striking features of mathematics is the fact that we are much more certain about the mathematical knowledge we have than about what mathematical knowledge is knowledge of. Are numbers, sets, functions and groups physical entities of some kind? Are they objectively existing objects in some non-physical, mathematical realm? Are they ideas that are present only in the mind? Or do mathematical truths not involve referents of any kind?
It is these kinds of questions that have encouraged philosophers and mathematicians alike to focus their attention on issues in the philosophy of mathematics. Over the centuries a number of reasonably well-defined positions about the nature of mathematics have been developed and it is these positions (both historical and current) that are surveyed in the current volume.
Traditional theories (Platonism, Aristotelianism, Kantianism), as well as dominant modern theories (logicism, formalism, constructivism, fictionalism, etc.), are all analyzed and evaluated. Leading-edge research in related fields (set theory, computability theory, probability theory, paraconsistency) is also discussed.
The result is a handbook that not only provides a comprehensive overview of recent developments but that also serves as an indispensable resource for anyone wanting to learn about current developments in the philosophy of mathematics.
-Comprehensive coverage of all main theories in the philosophy of mathematics
-Clearly written expositions of fundamental ideas and concepts
-Definitive discussions by leading researchers in the field
-Summaries of leading-edge research in related fields (set theory, computability theory, probability theory, paraconsistency) are also included
1. The Foundations of Mathematics (W.D. Hart)
2. Realism (Mark Balaguer)
3. Aristotelian Realism (James Franklin)
4. Empiricism (David Bostock)
5. Kantianism (Mary Tiles)
6. Logism (Jaakko Hintikka)
7. Formalism (Peter Simons)
8. Constructivism (David McCarty)
9. Fictionalism (Daniel Bonevac)
10. Structuralism (Fraser MacBride)
11. Set Theory from Cantor to Cohen (Akihiro Kanamori)
12. Alternative Set Theories (Peter Apostoli, Roland Hinnion, Akira Kanda & Thierry Libert)
13. Philosophies of Probability (Jon Williamson)
14. Computability (Wilfried Sieg)
15. Inconsistent Mathematics (Chris Mortensen)
16. Mathematics and the World (Mark Colyvan)
It is these kinds of questions that have encouraged philosophers and mathematicians alike to focus their attention on issues in the philosophy of mathematics. Over the centuries a number of reasonably well-defined positions about the nature of mathematics have been developed and it is these positions (both historical and current) that are surveyed in the current volume.
Traditional theories (Platonism, Aristotelianism, Kantianism), as well as dominant modern theories (logicism, formalism, constructivism, fictionalism, etc.), are all analyzed and evaluated. Leading-edge research in related fields (set theory, computability theory, probability theory, paraconsistency) is also discussed.
The result is a handbook that not only provides a comprehensive overview of recent developments but that also serves as an indispensable resource for anyone wanting to learn about current developments in the philosophy of mathematics.
-Comprehensive coverage of all main theories in the philosophy of mathematics
-Clearly written expositions of fundamental ideas and concepts
-Definitive discussions by leading researchers in the field
-Summaries of leading-edge research in related fields (set theory, computability theory, probability theory, paraconsistency) are also included
1. The Foundations of Mathematics (W.D. Hart)
2. Realism (Mark Balaguer)
3. Aristotelian Realism (James Franklin)
4. Empiricism (David Bostock)
5. Kantianism (Mary Tiles)
6. Logism (Jaakko Hintikka)
7. Formalism (Peter Simons)
8. Constructivism (David McCarty)
9. Fictionalism (Daniel Bonevac)
10. Structuralism (Fraser MacBride)
11. Set Theory from Cantor to Cohen (Akihiro Kanamori)
12. Alternative Set Theories (Peter Apostoli, Roland Hinnion, Akira Kanda & Thierry Libert)
13. Philosophies of Probability (Jon Williamson)
14. Computability (Wilfried Sieg)
15. Inconsistent Mathematics (Chris Mortensen)
16. Mathematics and the World (Mark Colyvan)
174232
Produkty z tej samej kategorii (16)
Moduł LoRa oparty na ESP32-WROOM-32E z komunikacją WiFi i Bluetooth oraz LoRa RFM95W. Na płytce umieszczono wyprowadzenia ESP32 oraz złącze Qwiic. SparkFun WRL-18074
Wycofany
Brak towaru
Moduł z mikrofonem MEMS i wzmacniaczem, który pozwoli wykryć głos, klaśnięcie, czy trzaśnięcie drzwiami. Płytka ma wyprowadzone wyjście analogowe. SparkFun BOB-18011
Wycofany
Brak towaru
74LVC1G07GV to kompaktowy, energooszczędny bufor logiczny o pojedynczym kanale z wyjściem open-drain, przeznaczony do systemów cyfrowych pracujących w zakresie napięć od 1,65 V do 5,5 V. Zapewnia szybkie przełączanie, wysoką obciążalność i stabilną pracę w aplikacjach sterowania LED, linii danych oraz interfejsów z poziomami logicznymi różnych standardów.
Wycofany
Brak towaru
Złącze (gniazdo) 100-pinowe przeznaczone do modułów Raspberry Pi CM4. Raster 0,4 mm, wysokość 1,45 mm
Wycofany
Brak towaru
Płytka bazowa dla rodziny modułów SpaceSOM-8Mplus. Wraz z modułem SoM tworzy kompletną platformę programistyczną podobną do SBC. SoMLabs SpaceCB-8Mplus-ADV v.1.1
Wycofany
Brak towaru
Kolba lutownicza o mocy 50 W przeznaczona do stacji Bakon BK950D. Współpracuje z grotami lutowniczymi z serii T13
Wycofany
Brak towaru
Grot lutowniczy T13 ze ściętą końcówką typu K przeznaczony do stacji Bakon BK950D
Wycofany
Brak towaru
Metalowa obudowa w kolorze czarnym przeznaczona do minikomputerów Raspberry Pi 4 model B, z aktywnym chłodzeniem ICE Tower Low Profile w zestawie
Wycofany
Brak towaru
Moduł rozszerzeń HAT z interfejsem SATA przeznaczony do Raspberry Pi 4 model B. Umożliwia podłączenie do minikomputera pamięci masowej w postaci dysków 2,5" HDD oraz SSD z interfejsem SATA
Wycofany
Brak towaru
Moduł zasilający typu HAT z wentylatorem chłodzącym przeznaczony dla Raspberry Pi 4 model B. Zapewnia elastyczne zasilanie minikomputera przez złącze DC 5,5x2,5 mm, złącze XH2,54 mm, złącze microUSB lub USB typu C
Wycofany
Brak towaru
Ładowarka sieciowa z gniazdami USB oraz USB typu C. Wspiera protokół szybkiego ładowania QC3.0+PD3.0 z maksymalnym prądem do 3 A. USAMS US-CC085
Wycofany
Brak towaru
Wytrzymała i poręczna szpatułka wykonana ze stali nierdzewnej. Idealna do zdejmowania wydruków ze stołu drukarki 3D
Wycofany
Brak towaru
Igła o średnicy 0,4 mm przeznaczona do czyszczenia dyszy w drukarkach 3D. Pozwala pozbyć się resztek materiału po zakończeniu drukowania oraz usunąć filament w przypadku zapchania się dyszy
Wycofany
Brak towaru
Złącze umożliwiające podłączenie taśmy 22-pin o rastrze 0,5 mm do płytki obwodu drukowanego. F0500WR-S-22PB
Wycofany
Brak towaru
Belka tensometryczna aluminiowa, pozwalająca na pomiar masy do 2 kilogramów. Posiada cztery przewody. Znajduje zastosowanie w wagach kuchennych oraz wagach przenośnych
Wycofany
Brak towaru
Zestaw edukacyjny do budowy robotów w oparciu o elementy konstrukcyjne Totem. Przeznaczony dla osób początkujących, umożliwia złożenie 7 konstrukcji robotów na podstawie dołączonych instrukcji montażu. Totem TKR-RK1
Wycofany
Brak towaru
Dov M. Gabbay, Paul Thagard, John Woods, Andrew Irvine