Caldari
Deteis
-3.81
Last Active:
2 days ago
Birthday:
Sep 20, 2020 (5 years old)
Next Birthday:
Sep 20, 2026 (319 days remaining)
Combat Metrics
Kills
1,123
Losses
70
Efficiency
94.1%
Danger Ratio
94.1%
ISK Metrics
ISK Killed
650.05B ISK
ISK Lost
15.06B ISK
ISK Efficiency
97.7%
ISK Balance
634.98B ISK
Solo Activity
Solo Kills
162
Solo Losses
32
Solo Kill Ratio
14.4%
Solo Efficiency
83.5%
Other Metrics
NPC Losses
13
NPC Loss Ratio
18.6
Avg. Kills/Day
0.6
Activity
Very High
Character Biography
Ma, dopo i teoremi di G\xf6del diminuisce la fiducia in PA e nella dimostrazione?
Pensando ad una \xabfanta-matematica\xbb, supponiamo che G\xf6del abbia dimostrato che per ogni formula , si ha PA |– oppure PA |– \xac . In tal caso, si potrebbe decidere ogni problema in modo meccanico...
Se poi G\xf6del avesse dimostrato che PA dimostra la sua coerenza, ... potremmo stare tranquilli?
I teoremi di G\xf6del rendono la matematica pi\xf9 interessante, dimostrando che essa non \xe8 una scienza conclusa per sempre.
Pensando ad una \xabfanta-matematica\xbb, supponiamo che G\xf6del abbia dimostrato che per ogni formula , si ha PA |– oppure PA |– \xac . In tal caso, si potrebbe decidere ogni problema in modo meccanico...
Se poi G\xf6del avesse dimostrato che PA dimostra la sua coerenza, ... potremmo stare tranquilli?
I teoremi di G\xf6del rendono la matematica pi\xf9 interessante, dimostrando che essa non \xe8 una scienza conclusa per sempre.