Document (#40215)

Author

Guerra-Pujol, E.

Title

Gödel's interbellum

Source

https://papers.ssrn.com/sol3/papers.cfm?abstract_id=2489673

Year

2014

Abstract

In our previous paper "Gödel's Loophole," we retold the story of Kurt Gödel's discovery in late 1947 of a deep logical contradiction in the United States Constitution. At the time, however, and for many years thereafter, this purported discovery was discounted as nonsense or as highly improbable. Yet this assessment ignores Gödel's Central European background and the dramatic constitutional histories of many Central European states during the interbellum period. Specifically, during his years at the University Vienna (1924-1940) -- first as a student and then as a lecturer -- Gödel would have noticed that every constitutional democracy in Central Europe ended in dictatorship. In this paper, then, we survey the series of "anti-constitutional moments" unfolding in interbellum Europe in order to shed some light on Gödel's later discovery of a logical contradiction in the U.S. Constitution. Simply stated, Gödel's main concern was the theoretical possibility of a "constitutional dictatorship." But how likely was this possibility as a practical matter? It turns out, very likely, if the constitutional history of interbellum Europe is any guide.

Content

Vgl.: http://dx.doi.org/10.2139/ssrn.2489673. Vgl. auch: Roznai, Y.: Towards a theory of unamendability. In: https://papers.ssrn.com/sol3/papers.cfm?abstract_id=2569292.

Field

Rechtswissenschaft
Logik

Location

USA

Similar documents (content)

1. Guerra-Pujol, E.: Gödel's loophole (2013) 0.36

   0.35843474 = sum of:
     0.35843474 = product of:
       1.2801241 = sum of:
         0.10001237 = weight(abstract_txt:kurt in 4213) [ClassicSimilarity], result of:
           0.10001237 = score(doc=4213,freq=1.0), product of:
             0.13889761 = queryWeight, product of:
               9.216561 = idf(docFreq=11, maxDocs=44421)
               0.015070438 = queryNorm
             0.72004384 = fieldWeight in 4213, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.216561 = idf(docFreq=11, maxDocs=44421)
               0.078125 = fieldNorm(doc=4213)
         0.0071190326 = weight(abstract_txt:this in 4213) [ClassicSimilarity], result of:
           0.0071190326 = score(doc=4213,freq=1.0), product of:
             0.037869796 = queryWeight, product of:
               1.0443091 = boost
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.015070438 = queryNorm
             0.18798709 = fieldWeight in 4213, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.078125 = fieldNorm(doc=4213)
         0.08462684 = weight(abstract_txt:logical in 4213) [ClassicSimilarity], result of:
           0.08462684 = score(doc=4213,freq=2.0), product of:
             0.12425992 = queryWeight, product of:
               1.3376211 = boost
               6.1641335 = idf(docFreq=253, maxDocs=44421)
               0.015070438 = queryNorm
             0.68104696 = fieldWeight in 4213, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.1641335 = idf(docFreq=253, maxDocs=44421)
               0.078125 = fieldNorm(doc=4213)
         0.06791632 = weight(abstract_txt:discovery in 4213) [ClassicSimilarity], result of:
           0.06791632 = score(doc=4213,freq=1.0), product of:
             0.15476835 = queryWeight, product of:
               1.8283288 = boost
               5.616968 = idf(docFreq=438, maxDocs=44421)
               0.015070438 = queryNorm
             0.43882564 = fieldWeight in 4213, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.616968 = idf(docFreq=438, maxDocs=44421)
               0.078125 = fieldNorm(doc=4213)
         0.3211716 = weight(abstract_txt:constitution in 4213) [ClassicSimilarity], result of:
           0.3211716 = score(doc=4213,freq=4.0), product of:
             0.23996086 = queryWeight, product of:
               1.858822 = boost
               8.565973 = idf(docFreq=22, maxDocs=44421)
               0.015070438 = queryNorm
             1.3384333 = fieldWeight in 4213, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               8.565973 = idf(docFreq=22, maxDocs=44421)
               0.078125 = fieldNorm(doc=4213)
         0.21213178 = weight(abstract_txt:contradiction in 4213) [ClassicSimilarity], result of:
           0.21213178 = score(doc=4213,freq=1.0), product of:
             0.28889462 = queryWeight, product of:
               2.039564 = boost
               9.398883 = idf(docFreq=9, maxDocs=44421)
               0.015070438 = queryNorm
             0.73428774 = fieldWeight in 4213, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.398883 = idf(docFreq=9, maxDocs=44421)
               0.078125 = fieldNorm(doc=4213)
         0.48714608 = weight(abstract_txt:constitutional in 4213) [ClassicSimilarity], result of:
           0.48714608 = score(doc=4213,freq=1.0), product of:
             0.68247765 = queryWeight, product of:
               4.956577 = boost
               9.1365185 = idf(docFreq=12, maxDocs=44421)
               0.015070438 = queryNorm
             0.71379054 = fieldWeight in 4213, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.1365185 = idf(docFreq=12, maxDocs=44421)
               0.078125 = fieldNorm(doc=4213)
       0.28 = coord(7/25)
   

2. Goldberg, J.E.: Development of a universal law classification : a retrospective on Library of Congress Class K (2003) 0.13

   0.12994531 = sum of:
     0.12994531 = product of:
       0.6497265 = sum of:
         0.021040468 = weight(abstract_txt:years in 640) [ClassicSimilarity], result of:
           0.021040468 = score(doc=640,freq=1.0), product of:
             0.07183111 = queryWeight, product of:
               1.0170069 = boost
               4.686653 = idf(docFreq=1112, maxDocs=44421)
               0.015070438 = queryNorm
             0.29291582 = fieldWeight in 640, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.686653 = idf(docFreq=1112, maxDocs=44421)
               0.0625 = fieldNorm(doc=640)
         0.03775499 = weight(abstract_txt:european in 640) [ClassicSimilarity], result of:
           0.03775499 = score(doc=640,freq=1.0), product of:
             0.10606983 = queryWeight, product of:
               1.2358437 = boost
               5.6951146 = idf(docFreq=405, maxDocs=44421)
               0.015070438 = queryNorm
             0.35594466 = fieldWeight in 640, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.6951146 = idf(docFreq=405, maxDocs=44421)
               0.0625 = fieldNorm(doc=640)
         0.056284774 = weight(abstract_txt:states in 640) [ClassicSimilarity], result of:
           0.056284774 = score(doc=640,freq=2.0), product of:
             0.109865054 = queryWeight, product of:
               1.2577589 = boost
               5.796106 = idf(docFreq=366, maxDocs=44421)
               0.015070438 = queryNorm
             0.51230824 = fieldWeight in 640, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.796106 = idf(docFreq=366, maxDocs=44421)
               0.0625 = fieldNorm(doc=640)
         0.1449294 = weight(abstract_txt:europe in 640) [ClassicSimilarity], result of:
           0.1449294 = score(doc=640,freq=3.0), product of:
             0.20639695 = queryWeight, product of:
               2.1113725 = boost
               6.4865317 = idf(docFreq=183, maxDocs=44421)
               0.015070438 = queryNorm
             0.70218766 = fieldWeight in 640, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               6.4865317 = idf(docFreq=183, maxDocs=44421)
               0.0625 = fieldNorm(doc=640)
         0.38971686 = weight(abstract_txt:constitutional in 640) [ClassicSimilarity], result of:
           0.38971686 = score(doc=640,freq=1.0), product of:
             0.68247765 = queryWeight, product of:
               4.956577 = boost
               9.1365185 = idf(docFreq=12, maxDocs=44421)
               0.015070438 = queryNorm
             0.5710324 = fieldWeight in 640, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.1365185 = idf(docFreq=12, maxDocs=44421)
               0.0625 = fieldNorm(doc=640)
       0.2 = coord(5/25)
   

3. Goldberg, J.E.: Development of a universal law classification : a retrospective on Library of Congress Class K (2003) 0.13

   0.12994531 = sum of:
     0.12994531 = product of:
       0.6497265 = sum of:
         0.021040468 = weight(abstract_txt:years in 641) [ClassicSimilarity], result of:
           0.021040468 = score(doc=641,freq=1.0), product of:
             0.07183111 = queryWeight, product of:
               1.0170069 = boost
               4.686653 = idf(docFreq=1112, maxDocs=44421)
               0.015070438 = queryNorm
             0.29291582 = fieldWeight in 641, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.686653 = idf(docFreq=1112, maxDocs=44421)
               0.0625 = fieldNorm(doc=641)
         0.03775499 = weight(abstract_txt:european in 641) [ClassicSimilarity], result of:
           0.03775499 = score(doc=641,freq=1.0), product of:
             0.10606983 = queryWeight, product of:
               1.2358437 = boost
               5.6951146 = idf(docFreq=405, maxDocs=44421)
               0.015070438 = queryNorm
             0.35594466 = fieldWeight in 641, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.6951146 = idf(docFreq=405, maxDocs=44421)
               0.0625 = fieldNorm(doc=641)
         0.056284774 = weight(abstract_txt:states in 641) [ClassicSimilarity], result of:
           0.056284774 = score(doc=641,freq=2.0), product of:
             0.109865054 = queryWeight, product of:
               1.2577589 = boost
               5.796106 = idf(docFreq=366, maxDocs=44421)
               0.015070438 = queryNorm
             0.51230824 = fieldWeight in 641, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.796106 = idf(docFreq=366, maxDocs=44421)
               0.0625 = fieldNorm(doc=641)
         0.1449294 = weight(abstract_txt:europe in 641) [ClassicSimilarity], result of:
           0.1449294 = score(doc=641,freq=3.0), product of:
             0.20639695 = queryWeight, product of:
               2.1113725 = boost
               6.4865317 = idf(docFreq=183, maxDocs=44421)
               0.015070438 = queryNorm
             0.70218766 = fieldWeight in 641, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               6.4865317 = idf(docFreq=183, maxDocs=44421)
               0.0625 = fieldNorm(doc=641)
         0.38971686 = weight(abstract_txt:constitutional in 641) [ClassicSimilarity], result of:
           0.38971686 = score(doc=641,freq=1.0), product of:
             0.68247765 = queryWeight, product of:
               4.956577 = boost
               9.1365185 = idf(docFreq=12, maxDocs=44421)
               0.015070438 = queryNorm
             0.5710324 = fieldWeight in 641, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.1365185 = idf(docFreq=12, maxDocs=44421)
               0.0625 = fieldNorm(doc=641)
       0.2 = coord(5/25)
   

4. Roznai, Y.: Towards a theory of unamendability (2013) 0.10

   0.10398671 = sum of:
     0.10398671 = product of:
       0.8665559 = sum of:
         0.009864421 = weight(abstract_txt:this in 4212) [ClassicSimilarity], result of:
           0.009864421 = score(doc=4212,freq=3.0), product of:
             0.037869796 = queryWeight, product of:
               1.0443091 = boost
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.015070438 = queryNorm
             0.26048255 = fieldWeight in 4212, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.0625 = fieldNorm(doc=4212)
         0.18168211 = weight(abstract_txt:constitution in 4212) [ClassicSimilarity], result of:
           0.18168211 = score(doc=4212,freq=2.0), product of:
             0.23996086 = queryWeight, product of:
               1.858822 = boost
               8.565973 = idf(docFreq=22, maxDocs=44421)
               0.015070438 = queryNorm
             0.75713223 = fieldWeight in 4212, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               8.565973 = idf(docFreq=22, maxDocs=44421)
               0.0625 = fieldNorm(doc=4212)
         0.67500937 = weight(abstract_txt:constitutional in 4212) [ClassicSimilarity], result of:
           0.67500937 = score(doc=4212,freq=3.0), product of:
             0.68247765 = queryWeight, product of:
               4.956577 = boost
               9.1365185 = idf(docFreq=12, maxDocs=44421)
               0.015070438 = queryNorm
             0.9890571 = fieldWeight in 4212, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               9.1365185 = idf(docFreq=12, maxDocs=44421)
               0.0625 = fieldNorm(doc=4212)
       0.12 = coord(3/25)
   

5. Rockmore, D.N.; Fang, C.; Foti, N.J.; Ginsburg, T.; Krakauer, D.C.: ¬The cultural evolution of national constitutions (2018) 0.09

   0.09352227 = sum of:
     0.09352227 = product of:
       0.7793523 = sum of:
         0.005695226 = weight(abstract_txt:this in 125) [ClassicSimilarity], result of:
           0.005695226 = score(doc=125,freq=1.0), product of:
             0.037869796 = queryWeight, product of:
               1.0443091 = boost
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.015070438 = queryNorm
             0.15038967 = fieldWeight in 125, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.0625 = fieldNorm(doc=125)
         0.22251421 = weight(abstract_txt:constitution in 125) [ClassicSimilarity], result of:
           0.22251421 = score(doc=125,freq=3.0), product of:
             0.23996086 = queryWeight, product of:
               1.858822 = boost
               8.565973 = idf(docFreq=22, maxDocs=44421)
               0.015070438 = queryNorm
             0.9272938 = fieldWeight in 125, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               8.565973 = idf(docFreq=22, maxDocs=44421)
               0.0625 = fieldNorm(doc=125)
         0.5511429 = weight(abstract_txt:constitutional in 125) [ClassicSimilarity], result of:
           0.5511429 = score(doc=125,freq=2.0), product of:
             0.68247765 = queryWeight, product of:
               4.956577 = boost
               9.1365185 = idf(docFreq=12, maxDocs=44421)
               0.015070438 = queryNorm
             0.80756176 = fieldWeight in 125, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               9.1365185 = idf(docFreq=12, maxDocs=44421)
               0.0625 = fieldNorm(doc=125)
       0.12 = coord(3/25)