Caldari
Deteis
-1.63
Shaco Top
Last Active:
2 days ago
Birthday:
Sep 20, 2020 (4 years old)
Next Birthday:
Sep 20, 2025 (9 days remaining)
Combat Metrics
Kills
1,051
Losses
70
Efficiency
93.8%
Danger Ratio
93.8%
ISK Metrics
ISK Killed
590.52B ISK
ISK Lost
15.06B ISK
ISK Efficiency
97.5%
ISK Balance
575.45B ISK
Solo Activity
Solo Kills
153
Solo Losses
32
Solo Kill Ratio
14.6%
Solo Efficiency
82.7%
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.