jbovlaste import Front Pages Needed lang en: Difference between revisions

From Lojban
Jump to navigation Jump to search
mNo edit summary
 
mNo edit summary
Line 1: Line 1:


Here is an analogy to Goedel's Theorem (any sufficiently strong arithmetical theory contains true theorems which have no proofs in the theory). It is
Here's a list of front pages for other languages, none of which exist as of this writing (6 Mar 2003).


due to [http://www.psych.indiana.edu/people/homepages/hofstadter.html ouglas Hofstadter].
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Lojban|jbo]]~/np~


The better a [[jbocre: record player|record player]] is, the higher the fidelity with which it can reproduce recorded sound.  It is known that for any mechanical apparatus, there is a particular pitch which will vibrate the apparatus destructively, so that (if the sound is loud enough) it will fall apart.  It is therefore possible to create a record which will destroy the record player on which it is being played.  As a result, there is no such thing as a record player which can play every record whatsoever.
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In English|en]]~/np~


There are only two escapes from this paradox.  One is to have a poor record player which cannot play some records.  The other is to try to change the record player so that it will not fall apart, or if it does fall apart, will reassemble itself.  Nevertheless, there is always some part which is critical to it, and which the creator of the malicious record will target with his noises.
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Hindi|hi]]~/np~


The analogy:
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Spanish|es]]~/np~


* record -> true theorem
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Russian|ru]]~/np~
* record player -> theory of arithmetic


* playing of a record by a player -> proof of a theorem under a theory
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Chinese|zh]]~/np~
* poor record player -> weak theory of arithmetic


* malicious record -> Goedel sentence
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Arabic|ar]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In French|fr]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In German|de]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Japanese|ja]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Polish|pl]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Danish|da]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Italian|it]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Korean|ko]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Romanian|ro]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Greek|el]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Hebrew|he]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Czech|cs]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Norwegian|no]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Finnish|fi]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Portuguese|pt]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Swedish|sv]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Serbian|sr]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Turkish|tr]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Farsi|fa]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Georgian|ka]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Gujarati|gu]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Albanian|sq]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Basque|eu]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Belarusian|be]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Indonesian|id]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Malagasy|mg]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Nepali|ne]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Sanskrit|sa]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Somali|so]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Breton|br]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Chamorro|ch]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Cornish|kw]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Catalan|ca]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Latin|la]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Croatian|hr]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Dutch|nl]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Hungarian|hu]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Lithuanian|lt]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Bulgarian|bg]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Slovak|sk]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Slovenian|sl]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Vietnamese|vi]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Estonian|et]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Galician|gl]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Ukrainian|uk]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Amharic|am]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Welsh|cy]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Irish|ga]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Interlingua|ia]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Walloon|wa]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Klingon|i-klingon]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Loglan|art-loglan]]~/np~
 
NOT HANDLED: ~np~[[jbocre: rontPage ront Page In Esperanto|eo]]~/np~

Revision as of 16:53, 4 November 2013

Here's a list of front pages for other languages, none of which exist as of this writing (6 Mar 2003).

NOT HANDLED: ~np~jbo~/np~

NOT HANDLED: ~np~en~/np~

NOT HANDLED: ~np~hi~/np~

NOT HANDLED: ~np~es~/np~

NOT HANDLED: ~np~ru~/np~

NOT HANDLED: ~np~zh~/np~

NOT HANDLED: ~np~ar~/np~

NOT HANDLED: ~np~fr~/np~

NOT HANDLED: ~np~de~/np~

NOT HANDLED: ~np~ja~/np~

NOT HANDLED: ~np~pl~/np~

NOT HANDLED: ~np~da~/np~

NOT HANDLED: ~np~it~/np~

NOT HANDLED: ~np~ko~/np~

NOT HANDLED: ~np~ro~/np~

NOT HANDLED: ~np~el~/np~

NOT HANDLED: ~np~he~/np~

NOT HANDLED: ~np~cs~/np~

NOT HANDLED: ~np~no~/np~

NOT HANDLED: ~np~fi~/np~

NOT HANDLED: ~np~pt~/np~

NOT HANDLED: ~np~sv~/np~

NOT HANDLED: ~np~sr~/np~

NOT HANDLED: ~np~tr~/np~

NOT HANDLED: ~np~fa~/np~

NOT HANDLED: ~np~ka~/np~

NOT HANDLED: ~np~gu~/np~

NOT HANDLED: ~np~sq~/np~

NOT HANDLED: ~np~eu~/np~

NOT HANDLED: ~np~be~/np~

NOT HANDLED: ~np~id~/np~

NOT HANDLED: ~np~mg~/np~

NOT HANDLED: ~np~ne~/np~

NOT HANDLED: ~np~sa~/np~

NOT HANDLED: ~np~so~/np~

NOT HANDLED: ~np~br~/np~

NOT HANDLED: ~np~ch~/np~

NOT HANDLED: ~np~kw~/np~

NOT HANDLED: ~np~ca~/np~

NOT HANDLED: ~np~la~/np~

NOT HANDLED: ~np~hr~/np~

NOT HANDLED: ~np~nl~/np~

NOT HANDLED: ~np~hu~/np~

NOT HANDLED: ~np~lt~/np~

NOT HANDLED: ~np~bg~/np~

NOT HANDLED: ~np~sk~/np~

NOT HANDLED: ~np~sl~/np~

NOT HANDLED: ~np~vi~/np~

NOT HANDLED: ~np~et~/np~

NOT HANDLED: ~np~gl~/np~

NOT HANDLED: ~np~uk~/np~

NOT HANDLED: ~np~am~/np~

NOT HANDLED: ~np~cy~/np~

NOT HANDLED: ~np~ga~/np~

NOT HANDLED: ~np~ia~/np~

NOT HANDLED: ~np~wa~/np~

NOT HANDLED: ~np~i-klingon~/np~

NOT HANDLED: ~np~art-loglan~/np~

NOT HANDLED: ~np~eo~/np~

Retrieved from "https://mw.lojban.org/index.php?title=jbovlaste_import_Front_Pages_Needed_lang_en&oldid=75074"