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.35811388 = sum of:
     0.35811388 = product of:
       1.2789781 = sum of:
         0.09987242 = weight(abstract_txt:kurt in 3213) [ClassicSimilarity], result of:
           0.09987242 = score(doc=3213,freq=1.0), product of:
             0.1387722 = queryWeight, product of:
               9.211981 = idf(docFreq=11, maxDocs=44218)
               0.015064318 = queryNorm
             0.71968603 = fieldWeight in 3213, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.211981 = idf(docFreq=11, maxDocs=44218)
               0.078125 = fieldNorm(doc=3213)
         0.007180057 = weight(abstract_txt:this in 3213) [ClassicSimilarity], result of:
           0.007180057 = score(doc=3213,freq=1.0), product of:
             0.038087055 = queryWeight, product of:
               1.0477736 = boost
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.015064318 = queryNorm
             0.18851699 = fieldWeight in 3213, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.078125 = fieldNorm(doc=3213)
         0.084935606 = weight(abstract_txt:logical in 3213) [ClassicSimilarity], result of:
           0.084935606 = score(doc=3213,freq=2.0), product of:
             0.12456575 = queryWeight, product of:
               1.3398713 = boost
               6.1714344 = idf(docFreq=250, maxDocs=44218)
               0.015064318 = queryNorm
             0.6818536 = fieldWeight in 3213, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.1714344 = idf(docFreq=250, maxDocs=44218)
               0.078125 = fieldNorm(doc=3213)
         0.06800512 = weight(abstract_txt:discovery in 3213) [ClassicSimilarity], result of:
           0.06800512 = score(doc=3213,freq=1.0), product of:
             0.15490791 = queryWeight, product of:
               1.8299793 = boost
               5.619245 = idf(docFreq=435, maxDocs=44218)
               0.015064318 = queryNorm
             0.43900353 = fieldWeight in 3213, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.619245 = idf(docFreq=435, maxDocs=44218)
               0.078125 = fieldNorm(doc=3213)
         0.3206858 = weight(abstract_txt:constitution in 3213) [ClassicSimilarity], result of:
           0.3206858 = score(doc=3213,freq=4.0), product of:
             0.23972608 = queryWeight, product of:
               1.8587518 = boost
               8.561393 = idf(docFreq=22, maxDocs=44218)
               0.015064318 = queryNorm
             1.3377177 = fieldWeight in 3213, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               8.561393 = idf(docFreq=22, maxDocs=44218)
               0.078125 = fieldNorm(doc=3213)
         0.21184103 = weight(abstract_txt:contradiction in 3213) [ClassicSimilarity], result of:
           0.21184103 = score(doc=3213,freq=1.0), product of:
             0.28863934 = queryWeight, product of:
               2.0395837 = boost
               9.394302 = idf(docFreq=9, maxDocs=44218)
               0.015064318 = queryNorm
             0.7339299 = fieldWeight in 3213, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.394302 = idf(docFreq=9, maxDocs=44218)
               0.078125 = fieldNorm(doc=3213)
         0.48645803 = weight(abstract_txt:constitutional in 3213) [ClassicSimilarity], result of:
           0.48645803 = score(doc=3213,freq=1.0), product of:
             0.68185556 = queryWeight, product of:
               4.9565554 = boost
               9.131938 = idf(docFreq=12, maxDocs=44218)
               0.015064318 = queryNorm
             0.71343267 = fieldWeight in 3213, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.131938 = idf(docFreq=12, maxDocs=44218)
               0.078125 = fieldNorm(doc=3213)
       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.12995967 = sum of:
     0.12995967 = product of:
       0.64979833 = sum of:
         0.02111455 = weight(abstract_txt:years in 5640) [ClassicSimilarity], result of:
           0.02111455 = score(doc=5640,freq=1.0), product of:
             0.0720018 = queryWeight, product of:
               1.0186745 = boost
               4.692005 = idf(docFreq=1101, maxDocs=44218)
               0.015064318 = queryNorm
             0.29325032 = fieldWeight in 5640, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.692005 = idf(docFreq=1101, maxDocs=44218)
               0.0625 = fieldNorm(doc=5640)
         0.037716385 = weight(abstract_txt:european in 5640) [ClassicSimilarity], result of:
           0.037716385 = score(doc=5640,freq=1.0), product of:
             0.10600073 = queryWeight, product of:
               1.2359992 = boost
               5.6930003 = idf(docFreq=404, maxDocs=44218)
               0.015064318 = queryNorm
             0.35581252 = fieldWeight in 5640, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.6930003 = idf(docFreq=404, maxDocs=44218)
               0.0625 = fieldNorm(doc=5640)
         0.05680009 = weight(abstract_txt:states in 5640) [ClassicSimilarity], result of:
           0.05680009 = score(doc=5640,freq=2.0), product of:
             0.11053797 = queryWeight, product of:
               1.2621747 = boost
               5.813565 = idf(docFreq=358, maxDocs=44218)
               0.015064318 = queryNorm
             0.5138514 = fieldWeight in 5640, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.813565 = idf(docFreq=358, maxDocs=44218)
               0.0625 = fieldNorm(doc=5640)
         0.14500087 = weight(abstract_txt:europe in 5640) [ClassicSimilarity], result of:
           0.14500087 = score(doc=5640,freq=3.0), product of:
             0.20647107 = queryWeight, product of:
               2.1127057 = boost
               6.487401 = idf(docFreq=182, maxDocs=44218)
               0.015064318 = queryNorm
             0.7022818 = fieldWeight in 5640, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               6.487401 = idf(docFreq=182, maxDocs=44218)
               0.0625 = fieldNorm(doc=5640)
         0.3891664 = weight(abstract_txt:constitutional in 5640) [ClassicSimilarity], result of:
           0.3891664 = score(doc=5640,freq=1.0), product of:
             0.68185556 = queryWeight, product of:
               4.9565554 = boost
               9.131938 = idf(docFreq=12, maxDocs=44218)
               0.015064318 = queryNorm
             0.5707461 = fieldWeight in 5640, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.131938 = idf(docFreq=12, maxDocs=44218)
               0.0625 = fieldNorm(doc=5640)
       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.12995967 = sum of:
     0.12995967 = product of:
       0.64979833 = sum of:
         0.02111455 = weight(abstract_txt:years in 5641) [ClassicSimilarity], result of:
           0.02111455 = score(doc=5641,freq=1.0), product of:
             0.0720018 = queryWeight, product of:
               1.0186745 = boost
               4.692005 = idf(docFreq=1101, maxDocs=44218)
               0.015064318 = queryNorm
             0.29325032 = fieldWeight in 5641, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.692005 = idf(docFreq=1101, maxDocs=44218)
               0.0625 = fieldNorm(doc=5641)
         0.037716385 = weight(abstract_txt:european in 5641) [ClassicSimilarity], result of:
           0.037716385 = score(doc=5641,freq=1.0), product of:
             0.10600073 = queryWeight, product of:
               1.2359992 = boost
               5.6930003 = idf(docFreq=404, maxDocs=44218)
               0.015064318 = queryNorm
             0.35581252 = fieldWeight in 5641, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.6930003 = idf(docFreq=404, maxDocs=44218)
               0.0625 = fieldNorm(doc=5641)
         0.05680009 = weight(abstract_txt:states in 5641) [ClassicSimilarity], result of:
           0.05680009 = score(doc=5641,freq=2.0), product of:
             0.11053797 = queryWeight, product of:
               1.2621747 = boost
               5.813565 = idf(docFreq=358, maxDocs=44218)
               0.015064318 = queryNorm
             0.5138514 = fieldWeight in 5641, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.813565 = idf(docFreq=358, maxDocs=44218)
               0.0625 = fieldNorm(doc=5641)
         0.14500087 = weight(abstract_txt:europe in 5641) [ClassicSimilarity], result of:
           0.14500087 = score(doc=5641,freq=3.0), product of:
             0.20647107 = queryWeight, product of:
               2.1127057 = boost
               6.487401 = idf(docFreq=182, maxDocs=44218)
               0.015064318 = queryNorm
             0.7022818 = fieldWeight in 5641, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               6.487401 = idf(docFreq=182, maxDocs=44218)
               0.0625 = fieldNorm(doc=5641)
         0.3891664 = weight(abstract_txt:constitutional in 5641) [ClassicSimilarity], result of:
           0.3891664 = score(doc=5641,freq=1.0), product of:
             0.68185556 = queryWeight, product of:
               4.9565554 = boost
               9.131938 = idf(docFreq=12, maxDocs=44218)
               0.015064318 = queryNorm
             0.5707461 = fieldWeight in 5641, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.131938 = idf(docFreq=12, maxDocs=44218)
               0.0625 = fieldNorm(doc=5641)
       0.2 = coord(5/25)
   

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

   0.10384946 = sum of:
     0.10384946 = product of:
       0.86541224 = sum of:
         0.009948978 = weight(abstract_txt:this in 3212) [ClassicSimilarity], result of:
           0.009948978 = score(doc=3212,freq=3.0), product of:
             0.038087055 = queryWeight, product of:
               1.0477736 = boost
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.015064318 = queryNorm
             0.2612168 = fieldWeight in 3212, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.0625 = fieldNorm(doc=3212)
         0.18140727 = weight(abstract_txt:constitution in 3212) [ClassicSimilarity], result of:
           0.18140727 = score(doc=3212,freq=2.0), product of:
             0.23972608 = queryWeight, product of:
               1.8587518 = boost
               8.561393 = idf(docFreq=22, maxDocs=44218)
               0.015064318 = queryNorm
             0.75672734 = fieldWeight in 3212, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               8.561393 = idf(docFreq=22, maxDocs=44218)
               0.0625 = fieldNorm(doc=3212)
         0.674056 = weight(abstract_txt:constitutional in 3212) [ClassicSimilarity], result of:
           0.674056 = score(doc=3212,freq=3.0), product of:
             0.68185556 = queryWeight, product of:
               4.9565554 = boost
               9.131938 = idf(docFreq=12, maxDocs=44218)
               0.015064318 = queryNorm
             0.9885613 = fieldWeight in 3212, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               9.131938 = idf(docFreq=12, maxDocs=44218)
               0.0625 = fieldNorm(doc=3212)
       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.09339433 = sum of:
     0.09339433 = product of:
       0.7782861 = sum of:
         0.0057440456 = weight(abstract_txt:this in 4125) [ClassicSimilarity], result of:
           0.0057440456 = score(doc=4125,freq=1.0), product of:
             0.038087055 = queryWeight, product of:
               1.0477736 = boost
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.015064318 = queryNorm
             0.1508136 = fieldWeight in 4125, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.0625 = fieldNorm(doc=4125)
         0.22217764 = weight(abstract_txt:constitution in 4125) [ClassicSimilarity], result of:
           0.22217764 = score(doc=4125,freq=3.0), product of:
             0.23972608 = queryWeight, product of:
               1.8587518 = boost
               8.561393 = idf(docFreq=22, maxDocs=44218)
               0.015064318 = queryNorm
             0.9267979 = fieldWeight in 4125, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               8.561393 = idf(docFreq=22, maxDocs=44218)
               0.0625 = fieldNorm(doc=4125)
         0.55036443 = weight(abstract_txt:constitutional in 4125) [ClassicSimilarity], result of:
           0.55036443 = score(doc=4125,freq=2.0), product of:
             0.68185556 = queryWeight, product of:
               4.9565554 = boost
               9.131938 = idf(docFreq=12, maxDocs=44218)
               0.015064318 = queryNorm
             0.8071569 = fieldWeight in 4125, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               9.131938 = idf(docFreq=12, maxDocs=44218)
               0.0625 = fieldNorm(doc=4125)
       0.12 = coord(3/25)