OpenLLM-France/wikimedia huggingface dataset:
# Taka Michinoku

Takao Yoshida (em japonês: 吉田 貴男) (nascido em 26 de Outubro de 1973), mais conhecido pelo seu ring name Taka Michinoku, é um lutador de wrestling profissional japonês, o qual lutou em todo o mundo. Além do wrestling, Yoshida também pratica artes marciais, luta livre e high-flying.
Ele revolucionou o mundo de Pesos-Leves de muitas promoções. Michinoku é conhecido nos Estados Unidos por conquistar o WWF Light Heavyweight Championship, sendo o primeiro campeão após vencer um tournament. Também é conhecido por Pepe Michinoku e Piza Michinoku.

## Títulos e prêmios

* All Japan Pro Wrestling
** AJPW World Junior Heavyweight Championship (1 vez)
* Frontier Martial Arts Wrestling
** FMW Independent World Junior Heavyweight Championship (2 vezes)
* Independent Wrestling World
** IWW Junior Heavyweight Championship (1 vez)
* Kaientai Dojo
** Strongest-K Championship (1 vez)
** Strongest-K Tag Team Championship (2 vezes) - com Handsome Joe
** UWA/UWF Intercontinental Tag Team Championship (1 vez) – com Ryota Chikuzen
** WEW Hardcore Tag Team Championship (1 vez) – com Tomoka Nakagawa
** Vencedor do Strongest-K Tournament (2007)
* Michinoku Pro Wrestling
** Tohoku Junior Heavyweight Championship (1 vez)
* New Japan Pro Wrestling
** IWGP Junior Heavyweight Tag Team Championship (1 vez) – com Dick Togo
* Pro Wrestling Illustrated
** PWI o colocou como # 191 dos 500 melhores lutadores na PWI 500 de 2003.
* Tokyo Sports Grand Prix
** Best Technical Wrestler (2005)
* World Entertainment Wrestling
** WEW Six Man Tag Team Championship (1 vez) – com Tetsuhiro Kuroda e Gosaku Goshogawara
* World Wrestling Federation
** WWF Light Heavyweight Championship (1 vez)
# Takehisa Kato

Takehisa Kato (加藤武久, Katō Takehisa, nascido em 8 de dezembro de 1941) é um ex-ciclista olímpico japonês. Kato representou seu país nos Jogos Olímpicos de Verão de 1964, em Tóquio.
# Teatro de la Zarzuela

O Teatro de la Zarzuela é um teatro de Madrid, Espanha, situado na calle Jovellanos. Foi inaugurado a 10 de Outubro de 1856 (data do aniversário da então rainha, Isabel II).
# Série convexa

Uma série convexa, em matemática, particularmente em análise funcional e análise convexa, é uma série da forma $\sum _{i=1}^{\infty }r_{i}x_{i}$ onde $x_{1},x_{2},\ldots$ são todos elementos de um espaço vetorial topológico $X$,e todos $r_{1},r_{2},\ldots$ são números reais não negativos que somam $1$ (isto é, tal que $\sum _{i=1}^{\infty }r_{i}=1$).

## Tipos de série convexa

Suponha que $S$ é um subconjunto de $X$ e $\sum _{i=1}^{\infty }r_{i}x_{i}$ é uma série convexa em $X.$
* Se todos $x_{1},x_{2},\ldots$ pertencem a $S$ então a série convexa$\sum _{i=1}^{\infty }r_{i}x_{i}$ é chamada de série convexa com elementos de $S$.
* Se o conjunto $\left\{x_{1},x_{2},\ldots \right\}$ é um conjunto limitado (von Neumann) então a série chamada de série b-convexa.
* A série convexa $\sum _{i=1}^{\infty }r_{i}x_{i}$ é dito ser uma série convergente se a seqüência de somas parciais$\left(\sum _{i=1}^{n}r_{i}x_{i}\right)_{n=1}^{\infty }$ converge em $X$ a algum elemento de $X,$ que é chamado de soma da série convexa.
* A série convexa é chamada Cauchy se $\sum _{i=1}^{\infty }r_{i}x_{i}$ é uma série Cauchy, que por definição significa que a sequência de somas parciais $\left(\sum _{i=1}^{n}r_{i}x_{i}\right)_{n=1}^{\infty }$ é uma sequência de Cauchy.
# Série de Balmer

A série de Balmer ou linhas de Balmer em física atômica, é a designação de um de seis diferentes tipos de séries descrevendo as emissões do átomo de hidrogênio na linha espectral.
A série de Balmer é calculada usando a fórmula de Balmer, uma equação empírica descoberta por Johann Balmer em 1885.
O espectro de luz visível do hidrogênio mostra quatro comprimentos de onda, 410 nm, 434 nm, 486 nm, e 656 nm, que refletem as emissões de fótons por elétrons em estado excitado transitando ao nível quântico descrito pelo número quântico principal n igual a 2.
# Série de Humphreys

Em física atómica, a série de Humphreys é a designação de um conjunto de seis séries com nome próprio descrevendo as linhas de espectro do átomo de hidrogênio, que foi descoberta por Curtis J. Humphreys em 1953. Na série de Humphreys, o espectro do hidrogénio espelha a emissão de fotões na zona infra-vermelha por electrões excitados em transição para o nível de energia descrito pelo número quântico principal n igual a 6. Principia em 12368 nm e aparece até 3281,4 nm.
| n | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | $\infty$ |
| Comprimento de onda (nm) | 12368 | 7503 | 5905 | 5129 | 4673 | 4374 | 4171 | 4021 | 3908 | 3819 | 3749 | 3281 |
Embora esta seja a última série designada por nome próprio, existem também séries para as transições das linhas das séries n=6, n=7, n=8, n=9 e n=10.
As outra cinco séries do espectro do Hidrogênio designadas por nome são: Série de Lyman, Série de Balmer, Série de Paschen, Série de Brackett e Série de Pfund
# Tatanka Means

Tatanka Means (Rapid City, 19 de fevereiro de 1985) é um ator e comediante americano, filho do também ator, ativista e índio Oglala Sioux Russell Means. Ganhou notoriedade pelo seu personagem Wolf - Lobo, na adaptação cinematográfica da obra de Judy Blume, Olhos de Tigre. Ele é representante de três comunidades indígenas americanas, os Oglala Lakota, os Omaha e os Navajos da Chinle, Arizona.

## Biografia

Tatanka Means viu sua vontade de atuar surgir, quando esteve presente nas gravações de O Último dos Moicanos. Ele tinha apenas 7 anos de idade e acompanhou seu pai, que estrelava a produção ao lado de Daniel Day-Lewis todos os dias pelo set de filmagens. Na adolescência, suas habilidades lutando box, ajudaram-o se tornar o dublê oficial de Eddie Spears para o filme Black Cloud.
Em 2005, Tatanka ganhou um dos papeis principais da série de Steven Spielberg, "Into the West" onde deu vida ao líder dos índios Oglala Lakota, Crazy Horse. Em 2008, atuou na série Comanche Moon, onde interpretou Weasel. Em 2010 filmou a adaptação do livro Tiger Eyes, de Judy Blume para os cinemas. Ele ganhou o papel de um dos personagens principais e par romantico de Willa Holland. Olhos de Tigre foi gravado no Novo México, onde Tatanka reside. Nesse mesmo filme, ele teve a oportunidade de atuar ao lado de seu pai, Russell Means que fazia seu último trabalho para os cinemas.
Depois de atuar como palestrante motivacional de comunidades indígenas, Tatanka Means iniciou shows de stand-up comedy como hobbie na região do Novo México. Seus shows foram tornando-se populares e Tatanka já apresentou-se em todo o Estados Unidos e Canadá. Seu trabalho pelo povo indígena, o levou a tornar-se representante de três comunidades indígenas americanas, os Oglala Lakota, os Omaha e os Navajos da Chinle, Arizona.

## Filmografia

Filmes :
| Ano | Título | Papel |
| 2008 | The Borrowers | Tall Ute |
| 2011 | Sedona | Chuck |
| 2011 | More Than Frybread | Buddy Begay |
| 2013 | The Sixth Gun | Victor Birdsong |
| 2013 | Tiger Eyes | Wolf - Martin Ortiz |
| 2013 | A Hospedeira | Seeker Hawke |
| 2014 | A Million Ways to Die in the West | Chefe de Guerra Apache |
| 2023 | Surrounded | Scar |
| 2023 | Killers of the Flower Moon | John Wren |
| 2024 | Horizon: An American Saga | |
| TBA | Wind River: The Next Chapter | |
| TBA | Opus | |
TV :
| Ano | Título | Papel | Notas |
| 2005 | Into the West | Crazy Horse | 2 episódios |
| 2008 | Comanche Moon | Weasel | 2 episódios |
| 2008 | Freedom Riders | Philip's Men | 1 episódio |
| 2010 | In Plain Sight | Young Fighter | 1 episódio |
| 2011 | Scoundrels | Oscar Altsoba | 1 episódio |
| 2014 | Banshee | Hoyt Rivers | 4 episódios |
# Tatankacephalus

Tatankacephalus é um gênero de dinossauro do Cretáceo Inferior da Formação Cloverly, Montana. Há uma única espécie descrita para o gênero Tatankacephalus cooneyorum.
# Tatsuo Hori

Tatsuo Hori (Tokio, 28 Dezembro 1904 – Tokio, 28 maio 1953) foi um escritor, poeta e tradutor do período Showa do Japão.

## Biografia

Hori escreveu uma série de novelas e poemas os quais descrevem locais bucólicos, tais como um sanatório de montanha na província de Nagano, e são caracterizados pelo tema melancólico da morte, que refletem sua própria batalha com a tuberculose.
Hori escreveu Yamatoji, uma pequena coleção de ensaios poéticos sobre Nara e seus locais históricos. Isto foi seguido por Adashino, um romance do [[Período Nara}}. Suas belas descrições da antiga capital têm sido popularizadas pelas autoridades turísticas da cidade. A cidade de Karuizawa, onde Hori residiu durante sua doença, estabeleceu o Memorial Museum Hori Tatsuo em sua homenagem.

## Principais obras

* Sei Kazoku (The Holy Family (聖家族, The Holy Family), 1932)
* Utsukushii Mura (Beautiful Village (美しい村, Beautiful Village), 1933)
* Kaze Tachinu (The Wind Has Risen (風立ちぬ, The Wind Has Risen), 1936–37)
* Kagerou no Nikki (Diary Of Mayfly (かげろふの日記, Diary Of Mayfly), 1937)
* Naoko (Naoko (菜穂子, Naoko), 1941)
* Arano (Arano (曠野, Arano), 1941)
* Younen Jidai (Childhood (幼年時代, Childhood), 1942)
# Taubaracna

Taubaracna foi um gênero fóssil de aranhas que viveu durante o oligoceno na bacia de Taubaté, no Brasil, media entorno de 5mm e com apenas uma espécie conhecida: T. maculosa.
# Tabajara (Lavínia)

Tabajara é um distrito do município brasileiro de Lavínia, no interior do estado de São Paulo.

## História
### Origem

O povoado de Tabajara, que deu origem ao distrito, foi fundado em território do município de Valparaíso.

### Formação administrativa

* Distrito criado pela Lei n° 233 de 24/12/1948, com o povoado do mesmo nome mais terras do distrito sede de Lavínia.

## Geografia
### Área urbana

A sede do distrito é a vila de Tabajara:
* área urbana: 185 369 m²
* total de domicílios: 56

### Demografia
#### População urbana

* Crescimento população urbana
* CensoPop.%±
* 1950226—196031238,1%1970300−3,8%1980271−9,7%1991248−8,5%2000136−45,2%201069−49,3%2022701,4%Fonte: IBGE e Fundação SEADE

#### População total

Pelo Censo 2022 (IBGE) a população total do distrito era de 163 habitantes.

### Área territorial

A área territorial do distrito é de 134,310 km².

### Rodovias

O principal acesso ao distrito é a estrada vicinal Lavínia - Tabajara - Indaiá do Aguapeí - Flórida Paulista.

## Serviços públicos
### Registro civil

Atualmente é feito na sede do município, pois o Cartório de Registro Civil das Pessoas Naturais do distrito foi extinto pela Resolução nº 1 de 29/12/1971 do Tribunal de Justiça do Estado de São Paulo, e seu acervo foi recolhido ao cartório do distrito sede.

### Saneamento

O serviço de abastecimento de água é feito pela Prefeitura Municipal de Lavínia.

### Energia

A responsável pelo abastecimento de energia elétrica é a Neoenergia Elektro, antiga CESP.

## Religião

O Cristianismo se faz presente no distrito da seguinte forma:

### Igreja Católica

* A igreja, construída na década de 40 com a arquitetura clássica da época, faz parte da Diocese de Araçatuba.

### Igrejas Evangélicas

* Assembleia de Deus - O distrito possui uma congregação da Assembleia de Deus Ministério do Belém, vinculada ao Campo de Pacaembu. Por essa igreja, através de um início simples, mas sob a benção de Deus, a mensagem pentecostal chegou ao Brasil. Esta mensagem originada nos céus alcançou milhares de pessoas em todo o país, fazendo da Assembleia de Deus a maior igreja evangélica do Brasil.
# Tau1 Gruis b

Tau¹ Gruis b é um planeta extrasolar pertencente à constelação de Grus. É também catalogado como HD 216435, e está a aproximadamente 106 anos-luz do planeta Terra. Foi calculado que o planeta orbita sua estrela-mãe a uma distância média de 2,7 UA. O planeta possui 1,25 vezes a massa de Júpiter.
# Tau1 Arietis

Tau$^1$ Arietis (61 Arietis) é uma estrela tripla na direção da constelação de Aries. Possui uma ascensão reta de 03h 21m 13.61s e uma declinação de +21° 08′ 49.7″. Sua magnitude aparente é igual a 5.27. Considerando sua distância de 462 anos-luz em relação à Terra, sua magnitude absoluta é igual a −0.49. Pertence à classe espectral B5IV. É uma estrela variável β Lyrae e é um sistema estelar triplo eclipsante..
# Tebicuari (lancha a vapor)

O Tebicuari foi um navio de guerra do tipo lancha a vapor que serviu a Armada Imperial Brasileira durante a Guerra do Paraguai. No dia 17 de agosto de 1869 participou da terceira expedição no rio Manduvirá com a missão de caçar os últimos navios da Armada Paraguaia.
# Tan Tan Taan!

Tan Tan Taan! (タンタンターン!, Tan Tan Taan!) foi o segundo e último single do grupo MilkyWay.

## História

O single foi lançado em 29 de outubro de 2008 no Japão pela gravadora Zetima.Ficou classificado entre os 8º singles mais vendidos na Oricon. Teve uma edição limitada com uma capa e cartilha diferentes, e o formato foi em "single V" (um DVD que contém os vídeos musicais e um making of).
As canções foram cantadas por Koharu Kusumi do grupo Morning Musume com participação de Sayaka Kitahara e Yū Kikkawa do grupo Hello! Pro Egg. Elas também interpretaram as personagens Kirari Tsukishima, Noël Yukino e Cobeni Hanasaki, cantoras fictícias do anime Kilari (Kirarin Revolution).
Tan Tan Taan! foi a sétima abertura (exibida nos episódios 129 até ao 153), e o "lado B" Gamusharara foi o décimo segundo encerramento (exibido nos episódios 129 até ao 141). As canções também foram incluídas nos álbuns Kirari to Fuyu e Best Kirari de Tsukishima Kirari starring Kusumi Koharu (Morning Musume).

## Lista de faixas

| Título | Artista | Letras/Música/Arranjo |
| 1. Tan! Tan! Taan! | MilkyWay | Kenichi Maeyamada |
| 2. Gamusharara | MilkyWay | 2°C / Dai Murai / Dai Murai |
| 3. Tan! Tan! Taan! (Instrumental) | MilkyWay | Kenichi Maeyamada |
# Tancredo-1

O Tancredo-1 foi um picossatélite brasileiro, ele é um TubeSat que foi desenvolvido pelos alunos da escola municipal Presidente Tancredo Almeida Neves, em Ubatuba (SP) com apoio na plataforma picosat feita pelo Instituto Nacional de Pesquisas Espaciais (INPE), adaptação e integração ao lançamento provido pelo TuPOD da empresa italiana GAUSS Srl e da Agência Espacial Brasileira (AEB).
O satélite reentrou na atmosfera em 18 de outubro de 2017, após permanecer 10 meses em órbita da Terra.

## Projeto

A ideia foi do professor de matemática Cândido Oswaldo de Moura e do professor e programador Emerson Issao Yaegashi, inspirado em uma reportagem sobre os "TubeSats", kits para construir “satélites pessoais” desenvolvidos pela empresa Interorbital Systems, nos Estados Unidos. Para colocar o projeto em prática, o educador entrou em contato com o Instituto Nacional de Pesquisas Espaciais (INPE), onde, mais tarde, foi acompanhado de outros professores para receber treinamento e poder supervisionar os alunos. O material para a construção do satélite foi pago por comerciantes da cidade de Ubatuba e seu lançamento obtido mediante apoio da AEB. O satélite recebeu o nome de “Tancredo-1”, em homenagem a escola.

## Características

O picossatélite tem aproximadamente 13 centímetros e tem uma massa de 670 gramas. O equipamento tem em sua estrutura cinco placas. Células fotovoltaicas que envolvem o cilindro são responsáveis pela geração de energia para alimentar os componentes do Tancredo-1. Existe ainda um espaço dentro do satélite que pode ser usado para pequenos experimentos científicos no espaço, no caso do Tancredo-1 duas cargas úteis são utilizadas: um gravador de voz para rádio-amadores, carga útil educacional e uma Sonda de Langmuir simplificada para estudos na formação de bolhas de plasma na Ionosfera, carga útil científica do grupo de Ionosfera do INPE. A plataforma tubesat passou por total reengenharia como fruto do trabalho de Mestrado em Engenharia de Sistemas Espaciais do Eng. Auro Tikami do INPE sobre orientação de Walter Abrahão dos Santos - INPE.
Os quase 100 alunos que participam do projeto ficam encarregadas da soldagem de peças e montagem de circuitos elétricos. O experimento depois de ser lançado ao espaço ele deverá ficar alguns meses em órbita, girando em torno da Terra a uma altitude de 310 quilômetros, assim, não corre o risco de virar lixo espacial. O satélite vai ser atraído aos poucos pela gravidade da Terra, onde deve ser queimar na atmosfera terrestre.
O TubeSat começou a transmitir no dia 19 de janeiro de 2017 na frequência de 437.200 MHz.

## Artigo

* Auro Tikami; Candido O. de Moura; Walter A. dos Santos (2017). First On-Orbit Results from the Tancredo-1 Picosat Mission (PDF). [S.l.: s.n.] Cópia arquivada (PDF) em 6 de março de 2021
# Terra do Nunca

A Terra do Nunca (País de Nunca Jamais na versão/tradução mais antigas) é uma ilha fictícia do livro Peter Pan, do escritor escocês J. M. Barrie. É a morada de Peter Pan, Sininho, e os Garotos Perdidos entre outros. Seu mais conhecido residente recusou-se a crescer, sendo a Terra do Nunca muitas vezes usada como uma metáfora para o comportamento eternamente infantil, a imortalidade e o escapismo. Foi introduzido pela primeira vez como o "Never Never Land" em peça de teatro Peter Pan, or The Boy Who Wouldn't Grow Up, encenada pela primeira vez em 1904.
Na romantização de 1911 Peter and Wendy, Barrie refere-se a "Neverland", e as suas muitas variações "The Neverlands".

## História

Nos primeiros rascunhos de Barrie, a ilha foi chamada “A Ilha do Nunca, Nunca, Nunca de Peter Pan”, por causa de um distrito da Austrália. Quando o filme foi feito, a ilha foi descrita como “Terra do Nunca, Nunca”. Na publicação, entretanto, foi abreviada para “Terra do Nunca”, apenas. Michael Jackson inspirou-se nisso para denominar seu rancho de Terra do Nunca, o Neverland.
Peter Pan guiou Wendy e seus irmãos para a Terra do Nunca ao voar “a segunda estrela à direita e então direto, até amanhecer”. O romance deixa explícito que ele criou essas direções na hora, por uma viagem intuitiva.

## Personagens

Alguns personagens da Terra do Nunca são: Peter Pan, os Meninos Perdidos, sininho,uma tribo de índios, sereias, Capitão Gancho e sua tripulação de piratas e o crocodilo que comeu a mão do capitão. Peter Pan é o personagem mais importante da Terra do Nunca, e a atividade do reino depende da sua presença ou ausência.

## Lugares

* Árvore do Nunca: A casa de Peter Pan e os meninos Perdidos, com sete árvores ocas.
* Lagoa das Sereias: O lugar onde lindas sereias passam o tempo se bronzeando ao sol, penteando seus cabelos longos e nadando.
* Ilha da Caveira: Uma ilha em formato de caveira no meio do mar que é uma caverna de pedras, onde a maré sobe muito depressa.
* Aldeia Piccanniny: É um acampamento onde mora Piccanniny, uma tribo de índios pele-vermelhas.
* Navio do Capitão Gancho: Um navio ancorado perto da Terra da Nunca e controlado por Capitão Gancho que teve uma de suas mãos comida e seus piratas.
# Tara Whitten

Tara Alice Whitten (nascida em 13 de julho de 1980) é uma ciclista canadense que compete em provas de pista. Ela representou o Canadá nos Jogos Olímpicos de Verão de 2012 em Londres, conquistando uma medalha de bronze na prova de perseguição por equipes. Também competiu na prova de omnium e terminou em quarto lugar.
# Taraba (estado)

Taraba é um estado no centro-leste da Nigéria, criado em 27 de agosto de 1991. Sua capital é a cidade de Jalingo e no censo de 2012 a população era 2,772,190 habitantes, numa área de 54.473 km².

## Economia

A principal atividade econômica é a agricultura.
As principais culturas são o café, amendoim e algodão sendo também o milho, arroz, sorgo e mandioca produzidas em quantidade comercial para exportação. No planalto de Mambilla e nos vales de Benue e Taraba, a pecuária com criação de ovelhas e cabras são bem presentes.
Ao longo dos principais e mais extensos rios do estado, a pesca é realizada ao longo de todo o anp. Outras atividades como cerâmica, tecelagem, tinturaria, tapeçaria e serralheria também são realizadas em várias partes do estado.
# Tetsudōin

Tetsudōin é um filme de drama japonês de 1999 dirigido e escrito por Yasuo Furuhata. Foi selecionado como representante do Japão à edição do Oscar 2000, organizada pela Academia de Artes e Ciências Cinematográficas.

## Elenco

* Ken Takakura: Otomatsu Satō
* Shinobu Otake: Shizue Satō
* Ryōko Hirosue: Yukiko Satō
* Hidetaka Yoshioka: Hideo Sugiura
* Masanobu Ando: Toshiyuki Yoshioka
* Ken Shimura: Hajime Yoshioka
* Tomoko Naraoka: Mune Katō
* Yoshiko Tanaka: Akiko Sugiura
* Nenji Kobayashi: Senji Sugiura
# Tetsuji Miwa

Tetsuji Miwa (三輪 哲二, Miwa Tetsuji; 10 de fevereiro de 1949) é um matemático japonês. Trabalha com física matemática.
Miwa estudou na Universidade de Tóquio, onde no início da década de 1970 trabalhou com análise microlocal e hiperfunções, sob a influência de Mikio Satō e Masaki Kashiwara. Foi professor da Universidade de Quioto e do Research Institute for Mathematical Sciences (RIMS) em Quioto.
Com Mikio Satō e Michio Jimbo descobriu na década de 1970 uma conexão com deformações que preservam a monodromia (isomonodrômicas) de equações diferenciais lineares e funções de correlação no modelo Ising. Com Jimbō investigou em seguida deformações isomonodrômicas gerais de equações diferenciais lineares (estudo iniciado no início do século XX por Ludwig Schlesinger).
Com Michio Jimbo e Etsurō Date pesquisou o papel de álgebras de Lie afins in equações de solitons, e com Jimbō o papel de grupos quânticos na solução exata de modelos de malha de mecânica estatística.
Recebeu em 1987 juntamente com Michio Jimbo o Prêmio de Outono da Sociedade Matemática do Japão.
Em 1998 apresentou uma palestra plenária no Congresso Internacional de Matemáticos (ICM) em Berlim (Solvable Lattice Models and Representation Theory of Quantum Affine Algebras) e em 1986 foi palestrante convidado ("Invited Speaker") no ICM em Berkeley (Integrable lattice models and branching coefficients).
Recebeu o Prêmio Dannie Heineman de Física Matemática de 2013 juntamente com Michio Jimbo, por seus desenvolvimentos fundamentais na área de sistemas integráveis e suas funções de correlação em mecânica estatística e teoria quântica dos campos, com aplicações de grupos quânticos, análise algébrica e teoria das deformações.

## Obras

* com Masaki Kashiwara (Eds.): Physical Combinatorics. Birkhäuser 2000, ISBN 3-7643-4175-0/ISBN 0-8176-4175-0
* com Michio Jimbō, Etsurō Date: Solitons – differential equations, symmetries and infinite dimensional algebras. Cambridge University Press 2000, ISBN 0-521-56161-2
* com Jimbō: Algebraic analysis of solvable lattice models. American Mathematical Society 1993, ISBN 0-8218-0320-4
* com Jimbō: Solitons and infinite dimensional Lie algebras. Pub. RIMS, Vol. 19, 1983, p. 943, doi:10.2977/prims/1195182017
# Teorema da Aceleração de Gödel

Em matemática, o Teorema de Aceleração de Gödel, provado por Kurt Gödel (1936), demonstra que existem teoremas cujas provas podem ser drasticamente reduzidas ao se trabalhar em sistemas axiomáticos mais fortes.
Gödel mostrou como encontrar exemplos explícitos de declarações em sistemas formais que são demonstráveis em tais sistemas, porém cuja menor prova é absurdamente longa. Por exemplo, a declaração:
   “Esta declaração não pode ser demonstrada na aritmética de Peano em menos de googolplex símbolos”
é demonstrável na aritmética de Peano (Aritmética de Peano), mas a sua prova mais curta tem pelo menos googolplex símbolos, por um argumento similar à prova do Primeiro Teorema da Incompletude de Gödel: AP (se consistente) não pode provar a declaração em menos de googolplex símbolos, por que a existência de tal prova seria ela mesma um teorema de AP, que viria a contradizer a declaração que AP supostamente provou. Porém ao simplesmente enumerar todas as strings de tamanho até um googolplex e checando se tal string não é uma prova (em AP) da declaração, provém uma prova da declaração que é necessariamente mais longa que googolplex símbolos.
A declaração tem uma prova menor em um sistema mais forte: na realidade é facilmente demonstrável na aritmética de Peano junto com a declaração de que AP é consistente (o que, devido ao teorema da incompletude, não pode ser provado na aritmética de Peano).
Neste argumento, a aritmética de Peano pode ser substituída por um sistema consistente mais forte, e um googolplex pode ser substituído por qualquer número que pode ser descrito concisamente neste sistema. Harvey Friedman achou alguns exemplos naturais explícitos deste problema, provendo declarações explicitas em aritmética de Peano e outros sistemas formais cujas provas são absurdamente grandes (Smorynski 1982).