cyanic-selkie/wikianc huggingface dataset:
Teoremas de incompletitud de Gödel
Numberación de Gödel
ye un axoma :
Cons(x,y, z)
ye una fórmula consecuencia inmediata de les fórmules
»
Dem(x, y)
ye una demostración de la fórmula
La forma precisa d'estes funciones y rellaciones ye aballadora y depende del criteriu que s'escoyera pa efectuar la numberación de Gödel. En particular la rellación
hai de construyise teniendo en cuenta un ciertu conxuntu d'axomes concretu, depués la rellación
Dem
fai referencia a una teoría concreta que nun s'especificó.
.
Expresabilidad. Recursividad
Por aciu la numberación de Gödel, ye posible «traducir» los signos y regles d'una teoría formal
T
Trini Lopez
Biografía
Darréu realizó covers de populares cantares como "Lemon Tree" (1965), "I'm Coming Home Cindy" (1966) y "Sally Was a Good Old Girl" (1968).
Mientres los años 60 y 70, López probó la so fortuna como actor de cine ensin algamar l'ésitu. El so primer papel nun filme foi en Marriage On The Rocks (1965), onde apaeció xunto a Frank Sinatra y Dean Martin. Intervieno nes películes "The Dirty Dozen" (1967) y Antonio (1973).
Amás, interpretó los cantares "Lemontree" y "La Bamba" na película Poppies are also flowers (1966), na que trabayó con actores de gran fama como Omar Sharif, Rita Hayworth, Marcello Mastroianni, y Grace Kelly.
Tamién tuvo delles apaiciones na serie televisiva Adam-12.
Na década de 1970, siguió la so carrera musical llegando a realizar estenses xires por Europa y América Llatina.
Acel van Ommen
María Cecilia B., conocida artíticamente como Acel van Ommen tamién como Acel Bisa (el so apellíu de soltera), ye una cantante y compositora filipina. Ella ye la más popular de la execución del cantar "Torete" cola so ex banda Moonstar 88, como artista en solitariu, ella tamién se convirtió nuna famosa por cantar cantares na so versión n'Inglés como de One Love, la tema de la esitosa ficción de la televisión coreana Valse de primavera. En 2008 llanzó'l so primer álbum como solista tituláu Forro Plata. Una pista de diez álbumes con cantares rir y llorar, Pakiusap, Sa Ngalan Ng Pag-Ibig, Forru y plata, ente otros. Acel tamién se contribuyó a les sos composiciones orixinales de bandes sonores de Filipines como en Primar Time de televisión La mio Chica (pol so cantar Gulo, Filo, Lito) y Rounin (pol so cantar Ngalan Sa Pag-Ng Ibig). Tamién interpretó'l so cantar "Yo creo" na más recién álbum tituláu prindaes iconu del pop perteneciente al cantante Christian Bautista. En 2004 casóse col so vieyu amigu Danny van Ommen. Dempués de cuatro años de matrimoniu, convertir nuna madre al so fíu Nikolai Tashi, en xunetu de 2008.
Trini Lopez
Biografía
De magar, López caltúvose n'activu, y participó de munchos espectáculos con fines benéficos.
Discografía
Trini López realizó 62 álbumes mientres tola so carrera (la mayoría n'Inglés), de siguío detállense dalgunos d'estos:
Teoremas de incompletitud de Gödel
Expresabilidad. Recursividad
en númberos y operaciones aritmétiques. Ye posible dir más allá, yá que
ye una teoría aritmética y puédense «recodificar» les mentaes operaciones por aciu el llinguaxe formal de
, al igual que puede faese con otres funciones y rellaciones aritmétiques como por casu:
y = [2] × x
x ≤ y
z, z + x = y
x
y
son primos ente sigo» puede espresase como:
z, z ≠ [1] w, x = z × w ¬o, y = z × o
.
Caúna d'estes rellaciones ye espresada pola so fórmula correspondiente, nel sentíu de que si dos númberos tán rellacionaos, puede demostrase la espresión formal correspondiente; y cuando nun lo tán, puede refutarse. Por casu:
n
, tiense que si
ye par puede probase la espresión formal
x, [n] = [2] × x
m
, si tiense
Servon-sur-Vilaine
Servon-sur-Vilaine ye una comuña francesa del departamentu d'Ille y Vilaine, na rexón de Bretaña. Llenda con.
Teoremas de incompletitud de Gödel
Expresabilidad. Recursividad
puede demostrase la fórmula
m > n
, puede refutarse dicha espresión.
Que les rellaciones presentaes na seición anterior —como
Servon-sur-Vilaine
Tien una población de y una superficie de  km².
Teoremas de incompletitud de Gödel
Expresabilidad. Recursividad
— sían expresables, implica qu'una teoría formal aritmética ye lo suficientemente potente como pa «falar» de les carauterístiques d'una teoría formal arbitraria ysobremanera, de sigo mesma.
Diagonalización
Pa construyir la sentencia autorreferente
hai d'escurrise una manera por que una fórmula fale de les propiedaes del so númberu de Gödel correspondiente. Esto hai de faese de manera indireuta, yá que dada una fórmula
φ
con númberu de Gödel
n
, otra fórmula que «fale» de
por aciu el numberal
[n]
polo xeneral va tener un númberu de Gödel mayor que
, y por tantu nun puede ser la mesma
. Esto consíguese por aciu el llamáu lema diagonal.
A última hora, dada una propiedá cualesquier
φ(x)
esiste una sentencia
ψ
qu'afirma «el mio númberu de Gödel cumple la propiedá
».
Demostración del primer teorema
Sía una teoría formal aritmética y recursiva
T
¬z, DEM(z, x)
, onde
DEM
Dem
—relativa a la teoría formal
—. Pol lema de diagonalización esiste una sentencia
G
con númberu de Gödel
g
G ¬z, DEM(z, [g])
, esto ye, qu'afirma «nengún númberu codifica una demostración (en
) de la fórmula representada por
», o otra manera, «nun soi demostrable (en
)». La negación d'esta sentencia,
¬G
, ye equivalente a
z, DEM(z, [g])
, o «la mio negación ye demostrable (en
)».
Supóngase entós que
puede demostrase. Entós esiste un númberu
n
que cumple
Dem(n, g)
, y en
puede probase entós
DEM([n], [g])
ye consistente. Por tantu nun esiste una demostración de
¬Dem(n, g)
pa tolos númberos
, lo cual resulta nun númberu infinitu de teoremas formales
¬DEM([n], [g])
pa cada numberal
[n]
. Como
ye ω-consistente, nun puede asoceder entós que
x, DEM(x, [g])
sía un teorema, polo que
ye indemostrable, y
ye indecidible.
Demostración del segundu teorema
La demostración del segundu teorema de incompletitud rique d'un fechu téunicu que Gödel orixinalmente nun probó. Sía una teoría
T
nes condiciones anteriores y sía la fórmula
Consis T ≡ ¬z, DEM(z, [k])
, onde
k
ye'l númberu de Gödel de la sentencia
0 = 1
.
Consis T
afirma que la teoría
ye consistente (pos dexa daqué ensin demostrar). La versión formal (de la primer parte) del primer teorema de incompletitud puede espresase como
Consis T ¬y, DEM(y, [g])
y esto ye equivalente precisamente a
Consis T G
. De cuenta que, de poder probar formalmente esta sentencia,
sería indemostrable yá que se tendría entós una demostración de
G
, en contradicción col primer teorema.
El fechu téunicu que se precisa ye precisamente una prueba de que la demostración del primer teorema de incompletitud puede «traducise» nuna demostración formal de la sentencia
. Esto ye posible en toa teoría aritmética recursiva, yá que verifiquen unes ciertes condiciones de demostrabilidad.
Idioma nivejí
Nivejí, Nivkh, Nivj, Nivji o Gilyak (referida na mesma llingua como Нивхгу диф, Nivjgu dif; o en xaponés: ニヴフ語/ギリヤーク語, nivufu-go/giriyāku-go) ye una llingua falada na rexón de Manchuria, na cuenca del ríu Amgun, afluente del ríu Amur. Tamién se fala a lo llargo de la zona de desaguada del propiu ríu Amur amás de la metá norte de la zona de la isla de Sajalín. 'Gilyak' ye l'apelativu manchú, los falantes d'esta llingua son conocíos como Nivjis o Nivkhs.
El Nivejí nun paez tar rellacionáu con nenguna otra llingua y ta por ello consideráu como llingua aisllada. Por conveniencia metodolóxica incluyir dientro de les llingües paleosiberianas. Munches pallabres de la llingua Nivejí tienen importante paecíu con pallabres d'otres llingües paleosiberianas como l'idioma ainu, el coreanu o les llingües altaiques. Magar ello nun s'atoparon correspondencies regulares nel planu de los soníos ente estes llingües polo que cualquier semeyanza léxica considérase frutu de la casualidá o del préstamu interlingüístico. Apocayá incluyóse la llingua Nivejí ente les clasificaes como llingües euroasiátiques na revesosa hipótesis de Joseph Greenberg. Pela so parte Michael Fortescue defendió la rellación de la llingua Nivkh coles llingües Mosan (salish; wakash, chimaku).
La población de la etnia Nivji permaneció razonablemente estable a lo llargo del pasáu sieglu con 4549 Nivjhs censaos en 1897 y 4673 en 1989. Sía que non el númberu de falantes nativos de Nivkh ente esi censu cayó d'un 100% a un 23,3% nesi periodu polo que queden aproximao un millar de falantes de Nivkhs como primer llingua.Por ello considerar como llingua en peligru d'estinción.
Gramática
La gramática de la llingua nivejí ye altamente sintética; igualmente desenvolvió un sistema de casos y otros marcadores gramaticales pero non xéneru gramatical.L'orde de pallabres básicu ye'l de suxetu Oxeto Verbu. El niveví ye carauterizada pol altu grau d'unión ente pallabres. Por casu, aquellos morfemes qu'espresen nociones de rellación espacial (preposiciones o posposiciones) incorporar al nome al que se refieren. Una pallabra puede ser la resultancia de la combinación de dellos raigaños, nomes, verbos y afixos pa espresar una idea concreta. La formación de cada pallabra ye relevante pal significáu de la frase.
Consonantes
Les fricatives llabiales tán sele articulaes, y describiéronse como billabiales [ɸ, β] y labiodentales [f, v]. Les paraes del cielu la boca puede tener dalgún grau de africación, como en [ʰ tʃ, tʃ].
L'idioma nivejí presenta un procesu d'alternanza de consonantes, nel cual la oclusiva qu'empecipia un morfema inicial, alterna con una fricatives o una vibrante:
Esto asocede cuando un morfema ye precedíu por otru morfema dientro de la mesma frase (por casu, un prefixu o [Adxuntu sintácticu|adxuntu]]), nun siendo que'l morfema precedente termine nuna fricativa o una vibrante o una /l/ o una nasal.
Namái la posición inicial de morfema vese afeutada: otros grupos que terminen nuna oclusiva son posibles dientro d'un morfema (por casu, "home").
En dalgunos Verbos transitivos, el procesu foi rexistráu aparentemente a la inversa, coles fricatives y vibrantes convirtiéndose n'oclusives, cola mesma distribución. Anque ésti haise espuestu como un procesu distintu, tamién foi esplicáu como un procesu igual no fundamental, cola forma citativa d'estos verbos conteniendo una oclusiva subxacente, apagada por cuenta de la presencia antigua d'un prefixu i- prefix el cual entá subsiste na forma citativa d'otros verbos, nos cualos causa l'alternanza consonántica regules. Les fricatives iniciales nos sustantivos nunca camuden.
Antes de les nasales o de la /l/, les oclusives ensin aspirar apuerten a sonores. Esto asocede tamién dientro d'un morfema, a diferencia de l'alternanza consonántica. El dialeutu Amur esanicia delles nasales a la fin de pallabra, lo que provoca que les oclusives sonores asocedan tamién de primeres de la pallabra.
Vocales
El sistema vocálicu del nivejí ye inusual, al puntu que Ian Maddieson llamar "defectuosu". En realidá, ye un sistema de rotación nel que se compensa un vacíu na rexón anterior media del espaciu vocal, col movimientu de les vocales alredor. La vocal odría considerase como un complementu del vacíu causáu pola falta d'una vocal central ordinaria.
El vocal anterior media esperada nun sistema de cinco vocales, que pudo esistir nel pasáu, convertir nun diptongu zarráu a mediu, ensin arredondiar, representáu na descripción Maddieson como.
Dialeutos
Rexistráronse cuatro dialeutos del nivejí: Sajalín norte y occidental Les diferencies fonolóxicu y léxicu ente'l dialeutu nivejí faláu na cuenca del Amur y los dialeutos sur y oriental de la Isla de Sajalín, que dellos llingüistes estremen dos llingües distintes. El dialeutu norte y occidental foi consideráu como l'entemediu ente los demás de Sajalín y el del Amur, en tantu'l del sur ye'l más estremáu del continental. Otros llingüistes han enfatizado nel altu grau de variabilidá d'usances ente tolos Nivjis, inclusive dientro de la mesma zona del Amur o en cada dialeutu de Sajalín, con una gran diversidá según l'aldega, la cla o inclusive cada falante individual.
Heracles
Heracles (na mitoloxía romana Hércules) ye'l nome d'un semidiós (dacuando consideráu héroe) de la mitoloxía griega. Yera fíu de Zeus y Alcmena, aquel sabedor de la infidelidá de la muyer tresformóse nel so esposu pa concebir a Heracles. So pá dotólu d'una fuercia maraviyosa y sobrehumana que lu averaba a los dioses.
Por mor d'esta infelidá del so cónyuxe, Hera siempre-y guardó un fuerte tarrecimientu a Heracles; d'esta miente, cuando taba en bierzu la diosa unvió-y dos culiebres pa que lu mataran, pero la descomunal fuercia del semidiós fizo que pudiera afogales.
Tamién diz un mitu que siendo neñu taba mamando de so ma, y a esta arramóse-y una gota de lleche, que foi la que creó la Vía Lláctea. Hai que se decatar de que la pallabra galaxa provién del griegu galasias, que significa llacteu.
Cuando yera adultu aidó a Tebes na so llucha colos minios, y como la so fuercia foi decisiva pa ganar, el rei de Tebes concedió-y por esposa a la so fía Mégara; esta dio-y tres fíos pero Hera nun escaecía qu'Heracles yera una prueba viviente de la traición de Zeus. Asina que fizo alloquecer al fíu del so maríu, y neses Heracles asesinó a la so muyer y los sos fíos. Cuando tornó a la cordura decidió facer penitencia, pa lo que visitó al so primu Euristéu, que-y mandó les Dolce Llabores.
Enllaces esternos
Herakles
Trevías (parroquia)
Trevías ye una parroquia del conceyu de Valdés, nel Principáu d'Asturies.
Ilesia de Santiago d'Arlós
Resume históricu-artísticu
L'edificiu alzase nun paraxe de gran guapura, dientro d'una redolada perfectamente integrada nel paisaxe que nun sufrió grandes alteraciones a lo llargo del tiempu y conserva entá'l so mediu ambiente caracterizáu pol so acentuáu espíritu rural, calteniéndose la escelente calidá del allugamientu, a la que s'alude como una de les característiques del románicu asturianu.
Ye un edificiu de gran cencellez estructural y volumétrica qu'emplega materiales probes para la so construcción, característiques que la venceyen a la corriente del románicu rural. Tien una sola nave con cabecera recta de tradición prerrománica. La obra caltién una unidá formal y cronolóxica na llectura de los sos elementos principales, portada, arcu de trunfu y ábside, magar esisten otros elementos añedíos darréu como la espadaña, el coru, les sacristíes, etc.
La ilesia foi donada pol obispu d'Uviéu Martín II al monesteriu de San Vicente d'Uviéu'l día 13 d'abril del añu 1151, lo que llevó a diversos autores a confirmar esta fecha como la de la so construcción, dientro de la fase del románicu plenu. Sicasí, la profesora Alvarez Martínez clasificalo como obra arcaizante perteneciente a la decimotercer centuria, con influencia del estilu uvieín y parentescu nos detalles iconográficos representaos nes ilesies de Serín (Xixón) y Valliniello (Avilés).
Destaquen los capiteles y la decoración nes rosques de los arcos de la portada, del arcu de trunfu y de la ventana absidial, por tar executaos con gran maestría y rellaciónense col taller uvieín. Nellos descríbense, caballeros con ferres, páxaros encaraos, lleones y abondosa decoración fitomórfica, asina como círculos, semicírculos y dientes de sierra, creando un espaciu decorativu recargáu. Conserva parte de los canecillos orixinales asitiaos na cabecera.
Pela cueta los de la nave sumieron de resultes de les reformes llevaes a cabu na segunda metá del sieglu XIX, nes que se rebaxó l'altor de los murios llaterales.
Nos Llibros de Fábrica recueyen arreglos, reformes y agregos llevaos a cabu dende entamos del sieglu XVIII hasta principios del XX. Destaca l'anotación efectuada en 1882 na que se solicita al Ministeriu de Gracia y Xusticia permiso pa la construcción d'una nueva ilesia. En 1887 efectúense reformes, quiciabes les más significatives dende la so construcción, especialmente na nave y qu'apaecen anotaes sol epígrafe: Reedificación y enanche de la ilesia. En 1895 siguen les obres col embaldosado de la ilesia. En 1902 añedese una sacristía nel muriu sur de la cabecera. Les últimes obres efectuaronse en 1999 para solucionar problemes de mugores, dixebrando los nichos del campusantu adosaos al muro norte; tamién se abrió'l muriu oeste del cabildru que tapaba la portada; anovóse la carga esterior y retocóse la cubierta.
Sixt-sur-Aff
Sixt-sur-Aff ye una comuña francesa del departamentu d'Ille y Vilaine, na rexón de Bretaña. Llenda con.
Tien una población de y una superficie de  km².
Sougéal
Sougéal ye una comuña francesa del departamentu d'Ille y Vilaine, na rexón de Bretaña. Llenda con.
Tien una población de y una superficie de  km².
Fuercies d'Autodefensa de Xapón
Les Fuercies d'Autodefensa de Xapón (自衛隊), ye'l Exércitu establecíu en Xapón tres el fin de la ocupación estauxunidense del país tres la II Guerra Mundial. Mientres la mayor parte del periodu de posguerra estes fuercies tuvieron confinaes a les islles de Xapón por decretu y nun se-yos dexaba esplegase nel estranxeru. Nos últimos años, y siempres so autorización estauxunidense, participaron n'operaciones internacionales de caltenimientu de paz. Recién tensiones, particularmente con Corea del Norte y China, reactivaron l'alderique avera del estatus de les Fuercies d'Autodefensa y la so rellación cola sociedá. El 14 de mayu de 2015, el gobiernu xaponés aprobó un resolución pola cual les fuercies van poder operar nel estranxeru si precísase ayudar a los sos aliaos o socorrer a nacionales que s'atopen n'apuros fora de les islles.
Personal y organización
Les Fuercies d'Autodefensa de Xapón componer de 230.300 elementos (2010), de los cualos 147.737 pertenecen a encomalo Terrestre d'Autodefensa, 44.327 a encomalo Marítima d'Autodefensa, 45.517 a encomalo Aérea d'Autodefensa y 1.849 a la Oficina del Estáu Mayor Conxuntu. Pela so parte, los reservistas suman 57.899.
thumb|290px|Marineros xaponeses en formación xunto al buque-escuela de la Fuercia Marítimo d'Autodefensa de Xapón, el JDS Kashima (TV 3508) en [[Pearl Harbor.]]
Operativa
Viceministru de Defensa Xefe de la Oficina del Estáu Mayor Conxuntu
Alministrativa
Viceministru de Defensa Xefes d'Estáu de les distintes Fuercies
Unidaes militares
Acordies cola Llei de Fuercies d'Autodefensa de 1954, la organización de la defensa nacional busca en tou momentu que les fuercies armaes atopar so un ferrial control civil, resultando asina un sistema militar únicu nel mundu. Tol personal adscrito a les Fuercies d'Autodefensa son téunicamente civiles: los uniformados son funcionarios especiales y tán subordinaos a los funcionarios civiles que dirixen el Ministeriu de Defensa. Nun esisten secretos militares nin un códigu llegal militar específicu; en casu de que dalgún miembru de les Fuercies cometiera un delitu yá seya na so propia base o fora d'ella, n'actu de serviciu o non y de naturaleza civil o militar, ésti sería xulgáu de forma convencional pol tribunal civil de la xurisdicción correspondiente.
Política de defensa
Na Política Básica de Defensa Nacional de Xapón marquen les siguientes direutrices:
En 2011, el presupuestu de defensa de Xapón foi'l sestu mayor gastu militar del mundu. Sobre un 50% d'esti gastu correspuende a los salarios del personal, ente que'l restu dedicar a suministros, armamentu, renovación de material, etc. Como amuesa del discutiniu esistente alredor de les Fuercies y la so estatus llegal, nin el términu xaponés 軍 col significáu de fuercia armada o militar, nin los vocablos "militar", "exércitu", "armada" o "fuercia aérea" son emplegaos en referencies oficiales a les Fuercies d'Autodefensa.
Artículu 9
En teoría, el rearmamientu xaponés ta dafechamente prohibíu pol Artículu 9 de la Constitución de Xapón, que amás d'afirmar que "el pueblu xaponés arrenunciu pa siempres a la guerra como un derechu soberanu de la nación y a l'amenaza o usu de la fuercia como mediu pa resolver disputes internacionales", tamién declara que "nunca van poder caltenese fuercies de tierra, mar y aire, según cualesquier otra con potencial bélicu." Na práutica, sicasí, el Parllamentu (definíu nel Artículu 41 como "el máximu órganu de los poderes del Estáu"), aprobó en 1954 la constitución de les Fuercies d'Autodefensa. Por cuenta del so peculiar estatus, cualquier intentu d'ameyorar les capacidaes y el presupuestu de les Fuercies suel ser motivu de discutiniu políticu. Como les Fuercies d'Autodefensa de Xapón tienen bien llindaes les sos posibilidaes d'operaciones nel esterior, apenes cunten con medios pa llevales a cabu, tales como misiles tierra-tierra o sistemes de reabastecimiento en vuelu, cuerpos d'infantería de marina, unidaes anfibies o grandes arsenales. Les Ordenances de les Fuercies tán puramente regulaes na Llei de Fuercies d'Autodefensa de 1954.
Reformes recién
Les pruebes realizaes per Corea del Norte col so misil balísticu Taepodong-1 sobre espaciu aereu xaponés n'agostu de 1998 según otres socesives xunto con otros asuntos llevaron a una esguilada de tensión ente dambos países que de la mesma provocó un aumentu del interés per parte de Xapón en desenvolver un sistema anti-misiles balísticos. Dichu sistema, compuestu por navíos de combate Aegis y misiles Patriot PAC-3, atópase en procesu d'esplegue. Coles mesmes tase considerando dexar l'activación del sistema en casu d'amenaza ensin necesidá de consultar al Parllamentu. N'avientu de 2004, Xapón y los Estaos Xuníos roblaron un memorandum pal establecimientu d'un marcu xeneral de cooperación pal desenvolvimientu d'un sistema marítimu anti-misiles.
Xapón tamién estrechó los sos llazos militares con Australia y los líderes de dambos países atópase en conversaciones p'algamar un pactu militar n'Asia de carauterístiques similares a la OTAN.
Historia
L'actuación del Exércitu Imperial Xaponés que terminó cola derrota de Xapón na II Guerra Mundial supunxo un fondu y duraderu impautu na actitú de la nación escontra tou lo rellacionao con guerres, fuercies armaes ya intervenciones militares en política. Estes actitúes fixéronse aparentes nel pueblu cola aceptación de non yá el desarme total, desmovilización y purga de tolos líderes militares qu'ocupaben puestos d'influencia pública tres la guerra, sinón tamién la prohibición constitucional de cualquier rearmamientu. So les órdenes del Xeneral del Exércitu de los Estaos Xuníos Douglas MacArthur como Comandante Supremu, les Fuercies Aliaes empezaron la desmilitarización y democratización de Xapón. Tolos clubes, escueles y sociedaes rellacionaes colo militar fueron esaniciaes. Les artes marciales fueron prohibíes. Abolióse l'Estáu Mayor según los Ministerios del Exércitu y de Marina y les sos respeutives fuercies, l'Exércitu y l'Armada Imperiales. Tamién se desmanteló'l texíu industrial bélicu. Esta "desmilitarización forzosa" non siempres cuntó col beneplácito de los xaponeses, y realizáronse sonaes aiciones de protesta contra una política que presumiblemente humildaba a la nación derrotada na Segunda Guerra Mundial.
El trauma del ataque nuclear estauxunidense produció gran terror nel pueblu, terror qu'acompañó a la Constitución de 1947 redactada poles autoridaes estauxunidenses y na que, nel so Artículu 9, la nación xaponesa arrenunciaba pa siempres al emplegu de la guerra como mediu de resolución de conflictos internacionales y declara que Xapón nunca volverá caltener "fuercies terrestres, marítimes o aérees nin nengún otru potencial militar". Posteriores gobiernos interpretaron estos puntos como una forma de caltener el derechu inherente de la nación a defendese, de cuenta que, con sofitu de los Estaos Xuníos, empezaron el desenvolvimientu de les Fuercies d'Autodefensa, que la so llexitimidá constitucional foi desafiada de forma notable nos años 70 ya inclusive nos 80.
Primeros pasos
Desaposiada de la so capacidá militar tres 1945, la nación solamente cuntaba con fuercies d'ocupación y pequeños grupos de policía a los que tenía de confiar la so seguridá. La esguilada de tensión propio de la Guerra Fría xunto con diverses fuelgues y manifestaciones d'izquierdes celebraes en Xapón, llevaron a dellos líderes conservadores a cuestionase l'arrenunciu unillateral de la nación a desenvolver y caltener cualquier tipu de capacidá militar. Estos sentimientos intensificar en 1950 cuando gran parte de les tropes d'ocupación fueron unviaes a la Guerra de Corea (1950-53), dexando a Xapón virtualmente indefensu ante cualquier aición subversiva interna y bien consciente de la necesidá d'establecer una rellación mutua de defensa colos Estaos Xuníos pa garantizar la seguridá esterior de la nación. Animáu poles autoridaes ocupantes, el gobiernu xaponés autorizó en xunetu de 1950 la creación d'una Reserva nacional de Policía compuesta de 75.000 homes forníos con armes d'infantería llixera.
Acordies colos términos del Tratáu de Cooperación Mutua y Seguridá ente los Estaos Xuníos y Xapón, ratificáu en 1952 col tratáu de paz que Xapón roblara colos Estaos Xuníos y otros países, les fuercies estauxunidenses establecíes en Xapón teníen la obligación d'encarar cualquier agresión esterna contra Xapón, ente que les fuercies xaponeses, tantu terrestres como marítimes, tendríen d'intervenir nos problemes internos y desastres naturales. De resultes d'estos alcuerdos, a mediaos de 1952 la Reserva nacional de Policía foi ampliada hasta los 110.000 homes y foi renombrada como Fuercies Nacionales de Seguridá. La Fuercia Costero de Seguridá, que fuera entamada en 1950 como un equivalente marítimu de les Reserva nacional de Policía, foi tresferida a l'Axencia Nacional de Seguridá constituyendo l'embrión d'una futura Armada.
Pa evitar el remanecimientu del militarismu, los líderes nipones remarcaron les garantíes constitucionales en pos del control del Gobiernos y los militares per parte de civiles, según l'usu de términos non militares na estructura de la organización y funciones de les Fuercies. De primeres, los carros de combate yeren denominaos "vehículos especiales"; el departamentu alministrativu encargáu de les Fuercies tenía rangu d'Axencia en llugar de ser un Ministeriu al usu y les distintes cañes de les fuercies armaes recibieron los nomes de Fuercia Terrestre, Marítima y Aérea d'Autodefensa en llugar de los nomes convencionales d'Exércitu de Tierra, Armada y Fuercia Aérea.
Anque la posesión d'armes nucleares nun ta explícitamente prohibida na constitución, Xapón, como única nación nel mundu verdaderamente consciente de la devastación provocada polos ataques nucleares, nun tardó n'espresar el so repulsa escontra les armes nucleares y la so intención de nun adquiriles enxamás. La Llei Básica de la Enerxía Atómica de 1956 llinda la investigación, desenvolvimientu y usu de la enerxía nuclear pa namái fines pacíficos, emanando d'ella una política nacional conocida como los "tres principios non nucleares" (prohibición de tener, manipoliar ya introducir nel país armes nucleares). En 1976 Xapón ratificó'l Tratáu de Non Proliferación d'Armes Nucleares (adoptáu pol Conseyu de Seguridá de les Naciones Xuníes en 1968) y repitió la so intención de nunca "desenvolver, usar o dexar el tresporte d'armes nucleares al traviés del so territoriu". Sicasí, pola mor del altu nivel teunolóxicu del país y la gran cantidá de centrales nucleares operatives, Xapón suel ser consideráu un país "nuclearmente capacitáu"; por casu, podría desenvolver una arma aplicable nun curtiu periodu en casu de que la situación política camudara de forma signficativa.
Uniformes ya insinies
Pa más detalles, vease l'artículu Rangos ya insinies militares de les Fuercies d'Autodefensa de Xapón
Los uniformes de vistir de los trés cañes de Fuercies d'Autodefensa son d'estilu similar a los de les fuercies estauxunidenses. Los uniformes de les Fuercia Terrestre son de color verde oliva, el personal de la Fuercia Marítimo lleva bien el clásicu uniforme de vistir azul y blancu o bien l'uniforme caqui de campaña; y el personal de la Fuercia Aérea utiliza'l monu azul típico de la Fuercia Aérea de los Estaos Xuníos. Les Fuercies Terrestre y Marítimo comparten l'uniforme de campaña, paecíu de la mesma al utilizáu pol Bundeswehr alemán solo que con tonos más llixeros de marrón y verde; pela so parte la fuercia aérea tien el so propiu camuflaje consistente nun patrón marrón y ocre similar al utilizáu poles Reales Fuercies Armaes Holandeses. L'Arma de adscripción de los miembros de la Fuercia Terrestre ta indicada pola insinia correspondiente y un color distintivu: colloráu pa la Infantería, mariellu pa l'Artillería pesao, naranxa pa les unidaes acorazaes, violeta pa los inxenieros, verde claru pa l'Artillería llixero, verde pa los Servicios Médicos, azul claro pa les unidaes aérees, azul pa les compañíes de señales; marrón pa la Intendencia, violeta escuru pa les unidaes de tresporte, blancu pa les unidaes aerotresportaes y azul escuro pal restu. La insinia de la Fuercia Terrestre ye la sakura (flor de la zrezal xaponesa) flanqueada por dos cañes de hiedra, xunto con un galón centráu na parte inferior ente les bases de les cañes; la de la Fuercia Marítimo consiste nuna ancla so una flor de zrezal arrodiada pelos llaos y per debaxo por cañes de hiedra; a lo último, la de la Fuercia Aérea componer d'una águila heráldica so la cual asítiase una estrella y una media lluna flaqueada por nales estilizadas.
Reclutamiento y condiciones de serviciu
En 1992, los trés cañes de les Fuercies d'Autodefensa cuntaben con 246.400 homes n'activu a los qu'había que sumar 48.400 reservistas. Inclusive activando tou este personal na reserva, el país tien una tasa de personal militar por habitante inferior a cualquier país de la OTAN. De les grandes naciones asiátiques, solamente India ya Indonesia tienen una tasa más baxa.
Les Fuercies d'Autodefensa componer n'esclusiva de voluntarios. El serviciu militar de por sí nun ta prohibíu por llei, pero munchos ciudadanos consideren que l'Artículu 18 de la Constitución de Xapón, que prohibe'l serviciu obligáu sacante como pena pola comisión de dalgún delitu, establez la prohibición llegal comoquier de serviciu militar. Inclusive n'ausencia d'una interpretación tan estricta, paez práuticamente imposible la realización de llamamientos a files.
El personal uniformado de les Fuercies d'Autodefensa empieza la so carrera como soldaos o marineros, emplegu que van ocupar un tiempu determináu. Nel casu de los reclutes de les fuercies terrestres suelen ser dos años, o trés p'aquellos que deseyen formase en dalguna especialidá téunica. Pa los reclutes de les fuercies marítimo y aéreo el periodu suel ser de trés años. Los candidatos a oficiales, cadetes de l'Academia de la Defensa Nacional de Xapón o de la Facultá de Medicina de la Defensa Nacional, según los candidatos a puestos d'especialización téunica permanecen apuntaos por tiempu indefiníu. La formación na Academia de la Defensa Nacional y nes escueles téuniques sueli ser de 4 años, ente que na Facultá de Medicina de la Defensa Nacional el tiempu allargar hasta los 6 años.
Nel momentu de la formación de les Fuercies d'Autodefensa, les muyeres solamente yeren almitíes nos servicios d'enfermería. Darréu les sos posibilidaes fueron creciendo al dexáse-yos entrar nel serviciu de comunicaciones de la Fuercia Terrestre en 1967 y nos de les Fuercies Aéreo y Marítimo en 1974. En 1991 les Fuercies d'Autodefensa cuntaben con más de 6.000 muyeres y podíen optar al 80% de los puestos, teniendo vetaos aquellos que riquíen esposición direuta al combate. La primer promoción mista de la Facultá de Medicina de la Defensa Nacional graduar en marzu de 1991, ente que l'Academia de la Defensa Nacional almitió muyeres per primer vegada en 1992.
De resultes d'un sentimientu que paez continuación de la apatía o antipatía surdida tres la Segunda Guerra Mundial escontra les fuercies armaes, les Fuercies d'Autodefensa tán atopando dificultaes pa reclutar nuevu personal. Tienen que competir colos grandes sueldos de les industries, de cuenta que gran parte de los alistaos son voluntarios "persuadíos" en terminando'l so periodu de reclutes. De normal son les prefeutures rurales les qu'apurren un mayor númberu de reclutes a les Fuercies d'Autodefensa; en zones como'l sur de Kyushu y Hokkaido, onde les oportunidaes d'emplegu son llindaes, los reclutes tán bien vistos pola población, tou lo contrario qu'en zones urbanes como Tokiu y Osaka.
Dellos oficiales antiguos consideren que los miembros de les Fuercies actuales nun son comparables colos militares que componíen les Fuercies Armaes Imperiales, magar les Fuercies d'Autodefensa son de normal vistes como profesionales y capacitaes. En comparanza colos sos homólogos d'otros países, cabo dicir que los miembros de les Fuercies d'Autodefensa reciben una importante educación y entrenamientu físicos. L'alfabetización ye universal y l'enseñanza, estensiva. El personal tamién ye formáu en distintes artes marciales como'l yudu o'l kendo, y los estándares físicos solicitaos son bien altos y estrictos. Magar tou, les Fuercies d'Autodefensa nun atraen a los mozos de la mesma manera qu'otres instituciones de Xapón. Los graduaos de les principales universidaes nun suelen entrar nes Fuercies, y los aspirantes a ingresar na Academia Nacional de la Defensa suelen ser oldeaos a aquellos estudiantes qu'intenten entrar nes universidaes locales de segunda fila.
Como funcionarios especiales, el personal de les Fuercies d'Autodefensa recibe los sos salarios d'alcuerdu a les escales retributivas aplicaes a los funcionarios civiles, nes cualos nun hai distinción de rangu. Esto lleva a situaciones inverosímiles, siendo posible qu'un subordináu cobre más que'l so comandante: por casu, los suboficiales más antiguos tienen salarios más altos que los nuevos oficiales acabante salir de l'Academia magar tener un rangu cimeru. Coles mesmes, les autoridaes de Defensa nun pueden contemplar nel so presupuestu nenguna partida dedicada al aumentu de sueldos. La edá de retiru pa los altos oficiales va dende los 53 a los 55 años, ente que la del restu bazcuya ente los 50 y 53. De cutiu estes llendes son estendíos como forma d'apangar la falta de nuevos reclutes. A finales de los 80, l'Axencia de Defensa, esmolecida pola dificultá de los sos retiraos p'atopar un emplegu, empezó a ufiertar a los sos miembros más mayores la posibilidá d'aprender un oficiu y de ser treslladaos a unidaes cercanes a los llugares onde teníen pensáu asitiase tres el so retiru. Dende ochobre de 1987, l'Asociación d'Allugamientu de les Fuercies d'Autodefensa apurrió asistencia y nuevos emplegos al personal retirao. Coles mesmes, esti personal recibe una pensión darréu dempués d'abandonar el serviciu activu, unos 10 años antes de lo que lo faen los funcionarios civiles convencionales. Mientres la década de los 90 el financiamientu d'esti sistema de pensiones empezó a ser un problema importante al producise un notable avieyamientu de la población.
Los beneficios de los qu'esfruta'l personal de les Fuercies nun ye comparable a los proporcionaos a los militares n'activu de les Fuercies Armaes d'otros países desenvueltos. L'asistencia sanitaria articúlase alredor d'una rede de centros encabezada pol Hospital Central de les Fuercies d'Autodefensa xunto con 14 hospitales rexonales y 165 clíniques n'instalaciones militares y buques, magar solamente cubre exámenes médicos y el tratamientu d'enfermedaes y mancadures sufiertes n'actu de serviciu. Nun cunten con privilexos económicos o comerciales como economatos o otros descuentos. Otru de los grandes problemes ye la vivienda, una y bones munches vegaes les autoridaes prefieren fomentar que los militares instalar en barrios civiles cercanos a los cuarteles qu'ameyorar les instalaciones asitiaes dientro de les bases.
Misiones y esplegue
A pesar del estatus de Xapón como potencia mundial, la nación siempres descargó la so responsabilidá de defensa de la rexón. L'arrenunciar a la guerra, a caltener cualquier potencial bélicu y a tener armes nucleares, llevó a pensar que'l país solamente tendría de cuntar cola mínima estructura de defensa necesaria pa poder encarar ataques del esterior. Dientro d'eses llendes, la Llei de Fuercies d'Autodefensa de 1954 sienta les bases de les que surdieron delles formulaciones alrodiu de la misión de les Fuercies. La llei afirma que les fuercies de tierra, mar y aire tienen de caltener la paz, la independencia y la seguridá nacional por aciu el desenvolvimientu d'operaciones que defendan al país de cualquier ataque direutu o indireutu.
El marcu xeneral de desenvolvimientu de les misiones de les Fuercies d'Autodefensa atópase na Política Básica de Defensa Nacional adoptada pol Gobiernu de Xapón en 1957 ya inda a valir. Según esti documentu, la seguridá nacional ten de ser caltenida con ayuda de les Naciones Xuníes y la cooperación internacional, estabilizando la política interior, desenvolviendo de forma gradual un sistema efectivu de autodefensa y tratando cualquier intentu d'agresión esterior d'alcuerdu a los alcuerdos de seguridá roblaos per Xapón y los Estaos Xuníos (primeramente a l'apaición de la ONX).
Los términos tan xenerales que sofiten les posibles operaciones militares dexen abiertes distintes posibilidaes d'interpretación y son frutu de crítiques alrodiu de que la nación nun cunta con una estratexa militar definida. Nel Resume del Programa de Defensa Nacional de 1976, el Gobiernu reparó que yera necesariu definir les distintes misiones de forma más específica por aciu diversos criterios pal caltenimientu y les operaciones de les Fuercies d'Autodefensa. Según estes direutrices, en casu d'un ataque llindáu y a pequeña escala, les fuercies xaponeses podría responder de forma fayadiza y rápida a la situación. Si l'ataque enemigu supera les posibilidaes de contraataque de les Fuercies d'Autodefensa, éstes intentaríen retener al atacante hasta que los Estaos Xuníos pudieren unviar efectivos na so ayuda. En casu d'ofensiva nuclear, Xapón tendría de confiar na capacidá disuasoria de los Estaos Xuníos. Pa cumplir les sos misiones, les Fuercies d'Autodefensa pueden caltener sistemes de vixilancia, preparar pa responder a ataques direutos ya indireutos, ser capaz d'apurrir sofitu loxísticu ya intervenir en catástrofes naturales.
El programa especificaba cuotes de personal y equipamientu pa cada caña de les Fuercies según diverses estimaciones de les sos necesidaes. Coles mesmes marcábense los elementos particulares propios de cada misión. La Fuercia Terrestre d'Autodefensa tien por oxetivu defender la nación de cualquier ataque per tierra o amenaza a la seguridá nacional pudiendo esplegase en cualesquier parte del país, según protexer les bases del conxuntu de les Fuercies d'Autodefensa. La Fuercia Marítimo encargar d'encarar les invasiones per mar, detectar mines, patrullar ya inspeicionar les agües territoriales, y guardar y defender los puertos, badees y estrechos. La Fuercia Aérea d'Autodefensa tendría de cuntar con capacidá pa interceptar aviones y misiles enemigos, dar soporte a les unidaes marítimu y terrestre, realizar misiones de reconocencia y tresporte pa cualquier unidá de les Fuercies y caltener unidaes aerotresportaes de respuesta rápida.
La Estimación al mediu plazu pal periodu fiscal 1986-1990 contempló la modernización y espansión del papel de les Fuercies d'Autodefensa. Mientres se caltuvieren vixentes los alcuerdos de seguridá ente Xapón y Estaos Xuníos y el calter puramente defensivu marcáu pola Constitución, esti programa entamó una serie de meyores moderaes de les capacidaes de defensa. Ente los oxetivos específicos atopábense la modernización de la defensa aérea por aciu la compra de nuevos aviones de caza y misiles tierra-aire, ameyorar les operaciones submarines con destructores adicionales y aviones de patrulla y una evolución de los servicios d'intelixencia, reconocencia y comunicaciones. Algamáronse gran parte de los oxetivos del programa, magar les marques establecíes pola Estimación pal periodu 1991-1995 fueron de menor caláu.