|
|
|
|
| LEADER |
01000caa a22002652 4500 |
| 001 |
605860645 |
| 003 |
DE-627 |
| 005 |
20220706113609.0 |
| 007 |
tu |
| 008 |
090731s2001 xx ||||| 00| ||und c |
| 035 |
|
|
|a (DE-627)605860645
|
| 035 |
|
|
|a (DE-599)GBV605860645
|
| 040 |
|
|
|a DE-627
|b ger
|c DE-627
|e rakwb
|
| 100 |
1 |
|
|a Bouveresse, Jacques
|e verfasserin
|4 aut
|
| 245 |
1 |
0 |
|a Mathématiques et logique chez Leibniz
|
| 264 |
|
1 |
|c 2001
|
| 336 |
|
|
|a Text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a ohne Hilfsmittel zu benutzen
|b n
|2 rdamedia
|
| 338 |
|
|
|a Band
|b nc
|2 rdacarrier
|
| 773 |
0 |
8 |
|i In
|t Revue d'histoire des sciences
|d Paris : Colin, 1971
|g 54(2001), Seite 223-246
|w (DE-627)129558168
|w (DE-600)221104-X
|w (DE-576)015016595
|x 0151-4105
|7 nnns
|
| 773 |
1 |
8 |
|g volume:54
|g year:2001
|g pages:223-246
|
| 912 |
|
|
|a GBV_USEFLAG_U
|
| 912 |
|
|
|a GBV_ILN_613
|
| 912 |
|
|
|a SYSFLAG_1
|
| 912 |
|
|
|a GBV_KXP
|
| 912 |
|
|
|a GBV_ILN_11
|
| 912 |
|
|
|a GBV_ILN_20
|
| 912 |
|
|
|a GBV_ILN_22
|
| 912 |
|
|
|a GBV_ILN_24
|
| 912 |
|
|
|a GBV_ILN_40
|
| 912 |
|
|
|a GBV_ILN_50
|
| 912 |
|
|
|a GBV_ILN_72
|
| 912 |
|
|
|a GBV_ILN_105
|
| 912 |
|
|
|a GBV_ILN_171
|
| 912 |
|
|
|a GBV_ILN_350
|
| 912 |
|
|
|a GBV_ILN_702
|
| 912 |
|
|
|a GBV_ILN_2001
|
| 912 |
|
|
|a GBV_ILN_2005
|
| 912 |
|
|
|a GBV_ILN_2006
|
| 912 |
|
|
|a GBV_ILN_2007
|
| 912 |
|
|
|a GBV_ILN_2008
|
| 912 |
|
|
|a GBV_ILN_2012
|
| 912 |
|
|
|a GBV_ILN_2015
|
| 912 |
|
|
|a GBV_ILN_4012
|
| 912 |
|
|
|a GBV_ILN_4046
|
| 912 |
|
|
|a GBV_ILN_4112
|
| 912 |
|
|
|a GBV_ILN_4125
|
| 912 |
|
|
|a GBV_ILN_4193
|
| 912 |
|
|
|a GBV_ILN_4305
|
| 912 |
|
|
|a GBV_ILN_4325
|
| 951 |
|
|
|a AR
|
| 952 |
|
|
|d 54
|j 2001
|h 223-246
|
| 980 |
|
|
|2 613
|1 01
|x 4613
|b 942912705
|c 00
|f GWLB
|d FH nat Zs 6325
|e --%%--
|j --%%--
|y x
|z 31-07-09
|
| 982 |
|
|
|2 613
|1 00
|x 4613
|8 00
|0 (DE-627)626825792
|a Grundlegung der Mathematik
|
| 982 |
|
|
|2 613
|1 00
|x 4613
|8 01
|0 (DE-627)615113273
|a Formalismus
|
| 982 |
|
|
|2 613
|1 00
|x 4613
|8 02
|0 (DE-627)627237142
|a mathematische Logik
|
| 982 |
|
|
|2 613
|1 00
|x 4613
|8 03
|0 (DE-627)615110630
|a Beweis
|
| 982 |
|
|
|2 613
|1 00
|x 4613
|8 04
|0 (DE-627)615114059
|a Gödel, Kurt
|
| 982 |
|
|
|2 613
|1 00
|x 4613
|8 90
|0 (DE-627)615114059
|a Gödel, Kurt
|
| 983 |
|
|
|2 613
|1 00
|x 4613
|8 00
|0 (DE-627)614596874
|a 6.2.2
|b Darstellung der Beziehungen
|
| 986 |
|
|
|2 613
|1 00
|x 4613
|a abs
|b Beitr. im Themenheft u.d.T.: Mathématiques et physique leibniziennes (1re partie). - S. 223: Summary.
|
| 986 |
|
|
|2 613
|1 00
|x 4613
|a abs
|b Abstract: "It is a well-known fact that Gödel kept up a close contact with the work of Leibniz and found in the Leibnizian project inspiration for the development of his own conception concerning the role of logic in general, the relations between mathematics and logic, and the place which should be given, within mathematical research itself, to questions of foundations and to fundamental questions in general. Starting from the manner in which they are interpreted and used by Gödel, this paper reflects on what renders so modern for the contemporary logician Leibniz's ideas concerning proof and provability, the formalization and mechanization of mathematical reasoning, the decision problem, etc. I likewise examine the reasons why he was not deterred by the possibility that formalism might seem to threaten mathematical imagination and invention." (S. 223)
|
| 989 |
|
|
|2 613
|1 00
|x 4613
|a Beitr. im Themenheft u.d.T.: Mathématiques et physique leibniziennes (1re partie). - S. 223: Summary.
|
| 989 |
|
|
|2 613
|1 00
|x 4613
|a Abstract: "It is a well-known fact that Gödel kept up a close contact with the work of Leibniz and found in the Leibnizian project inspiration for the development of his own conception concerning the role of logic in general, the relations between mathematics and logic, and the place which should be given, within mathematical research itself, to questions of foundations and to fundamental questions in general. Starting from the manner in which they are interpreted and used by Gödel, this paper reflects on what renders so modern for the contemporary logician Leibniz's ideas concerning proof and provability, the formalization and mechanization of mathematical reasoning, the decision problem, etc. I likewise examine the reasons why he was not deterred by the possibility that formalism might seem to threaten mathematical imagination and invention." (S. 223)
|