hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Tommy Rettig
Thomas Noel Rettig (Nova Iorque, 10 de dezembro de 1941 – Los Angeles, 15 de fevereiro de 1996) foi um ator infantil norte-americano, engenheiro de software e autor. Rettig é lembrado por interpretar o personagem "Jeff Miller" nas três primeiras temporadas da série de televisão Lassie da CBS, de 1954 a 1957, mais tarde vista em repetições sindicalizadas com o título Jeff's Collie. Ele também co-estrelou com outro ex-ator infantil, Tony Dow, na novela adolescente da televisão dos anos 1960 Never Too Young e gravou a música por esse título com o grupo The TR-4.

Marina del Rey
Marina del Rey é uma comunidade litorânea não incorporada no Condado de Los Angeles, Califórnia, com um porto de mesmo nome que é um importante destino de passeios de barco e recreação aquática na zona metropolitana de Los Angeles.

O porto abriga aproximadamente 5.000 barcos. A área é um destino turístico popular para atividades terrestres e aquáticas, como aluguel de pranchas e caiaques, cruzeiros gastronômicos e aluguel de iates. As atividades terrestres incluem ciclismo em várias ciclovias, trilhas para caminhada ao longo da orla e observação de pássaros (birding). Este local da zona oeste de Los Angeles fica a aproximadamente 4 milhas (6,4 km) ao sul de Santa Monica, 4 milhas (6,4 km) ao norte do Aeroporto Internacional de Los Angeles e 12,5 milhas (20,1 km) a oeste-sudoeste do centro de Los Angeles.
Legislação sobre armas de fogo
Legislação sobre armas de fogo refere-se ao conjunto de leis e decretos, normalmente estabelecidos por políticas públicas destinadas à regulamentação do comércio, posse e porte de armas de fogo e munição.

Decreto
Um decreto, em termos gerais e globais, e respeitados em cada sistema jurídico, é uma ordem emanada de uma autoridade superior ou órgão (civil, militar, leigo ou eclesiástico) que determina o cumprimento de uma resolução.
Conflito civil nas Filipinas
O conflito civil nas Filipinas é uma guerra interna que acontece no país desde 1969, com duas vertentes: uma insurgência de cunho comunista e outra sendo um levante da população islâmica de origem moro.

O conflito começou de fato após uma série de turbulências políticas iniciadas em 1969, com as hostilidades tomando grandes proporções nas décadas seguintes.  Na verdade, o início da insurgência pode ser traçado até 1899, quando o povo moro de Bangsamoro tentou se rebelar contra a presença dos Estados Unidos no país. As hostilidades retomaram a forma mais violenta na década de 1960, com os movimentos comunistas e islamitas lutando contra as forças do governo filipino.

Forças Armadas das Filipinas
As Forças Armadas das Filipinas (em filipino: Sandatahang Lakas ng Pilipinas) são as forças militares da República das Filipinas. São constituídas por três ramos: o Exército das Filipinas, a Marinha das Filipinas e a Força Aérea das Filipinas. As FAF são uma força militar voluntária, com aproximadamente 113.500 militares ativos e 131.000 reservistas.
Tomás (mestre dos soldados)
Tomás foi um oficial bizantino de origem armênia do século VI, ativo durante o reinado do imperador Justiniano (r. 527–565). Era pai do general João Guzes. Em data desconhecida, provavelmente ca. 527/535 segundo os autores da Prosopografia do Império Romano Tardio, comandou tropas em Lázica, onde construiu muitos fortes sob ordens do imperador.

É incerto qual ofício ocupou, mas sugere-se que Tomás fosse mestre dos soldados vacante e que teria antecedido João Tzibo no comando das tropas estacionadas no país. O historiador Procópio de Cesareia afirma que Justiniano considerava-o um homem de inteligência. É por vezes identificado com o homônimo conde da Armênia Tércia.

Armênia Menor
Armênia Menor (em armênio: Փոքր Հայք; romaniz.: P’ok’r Hayk’; em latim: Armenia Minor; em grego: Mικρά Αρμενία; romaniz.: Mikrá Armenía), conhecida também como Armênia Inferior, é uma das regiões da antiga Armênia, localizada a oeste e noroeste do território Reino da Armênia (chamado de "Armênia Maior"). A região foi depois reorganizada como Tema Armeníaco durante o Império Bizantino.
Historinhas Semanais
Historinhas Semanais foi uma coleção de mini-revistas infantis publicadas no Brasil, que traziam a cada número um pequeno conto ilustrado, e eram publicadas pela Editora Abril. As revistas foram distribuídas no Brasil e em Portugal, nos anos 1950 e 1960.

Conto
Um conto é uma narrativa que cria um universo de seres, de fantasia ou acontecimentos. Como todos os textos de ficção, o conto apresenta um narrador, personagens, ponto de vista e um enredo. Segundo Eça de Queiroz “No conto tudo precisa ser apontado num risco leve e sóbrio: das figuras deve-se ver apenas a linha flagrante e definidora que revela e fixa uma personalidade; dos sentimentos apenas o que caiba num olhar, ou numa dessas palavras que escapa dos lábios e traz todo o ser; da paisagem somente os longes, numa cor unida”.

Os maiores contistas brasileiros são: Machado de Assis, Carlos Drummond de Andrade, Clarice Lispector, Luis Fernando Verissimo, Monteiro Lobato, entre outros.
Hospital de Nossa Senhora do Rosário
O Hospital de Nossa Senhora do Rosário (HNSR), é um hospital geral e polivalente que integra desde 2024 a Unidade Local de Saúde do Arco Ribeirinho (ULS Arco Ribeirinho), que por sua vez pertence ao Serviço Nacional de Saúde (SNS).

O HNSR fica localizado na Verderena, na União das Freguesias de Alto do Seixalinho, Santo André e Verderena, no Barreiro, e foi inaugurado a 17 de setembro de 1985.

O seu nome homenageia a padroeira local Nossa Senhora do Rosário e foi oficialmente aprovado por despacho do Ministro da Saúde de 20 de setembro de 1995, ao recuperar a antiga denominação histórica.

Nossa Senhora do Rosário
Nossa Senhora do Rosário, Nossa Senhora do Santo Rosário ou Nossa Senhora do Santíssimo Rosário é o título mariano apresentado aquando da aparição da Santíssima Virgem Maria a São Domingos de Gusmão em 1214 na igreja do mosteiro de Prouille, na qual a mãe de Jesus entregou o Rosário ao fiel frade dominicano. É também o título pelo qual a Virgem Maria se apresentou aos três pastorinhos nas suas aparições em Fátima.
Simplicissimus
Simplicissimus foi uma revista semanal alemã satírica, com sede em Munique e fundada por Albert Langen em abril de 1896. Continuou a publicar até 1967, apesar de um hiato de 1944 a 1954. Tornou-se quinzenal em 1964. Recebeu o nome do protagonista do romance de 1668 de Grimmelshausen, O Aventuroso Simplicissimus.

Combinando conteúdo ousado e sendo também politicamente ousada, com um estilo gráfico brilhante, imediato e surpreendentemente moderno, Simplicissimus publicou o trabalho de escritores como Thomas Mann e Rainer Maria Rilke. Seus alvos mais confiáveis ​​para a caricatura eram as rígidas figuras militares prussianas e as rígidas distinções sociais e de classe alemãs, vistas da atmosfera mais relaxada e liberal de Munique. Os colaboradores incluíram Hermann Hesse, Gustav Meyrink, Fanny zu Reventlow, Jakob Wassermann, Frank Wedekind, Heinrich Kley, Alfred Kubin, Otto Nückel, Robert Walser, Heinrich Zille, Hugo von Hofmannsthal, Heinrich Mann, Lessie Sachs, e Erich Kästner.

O Aventuroso Simplicissimus
O Aventuroso Simplicissimus (em alemão:  Der abenteuerliche Simplicissimus Teutsch) é um romance picaresco do estilo barroco, escrito em cinco livros de Hans Jakob Christoffel von Grimmelshausen, publicados em 1668, com a continuação, Continuatio, aparecendo em 1669. No Brasil, foi publicado pela Editora UFPR, da Universidade Federal do Paraná, em 2009, com tradução de Mario Frungillo.

Inspirado nos eventos e horrores da Guerra dos Trinta Anos, que devastou a Alemanha de 1618 a 1648, é considerado o primeiro romance de aventura em língua alemã, e a obra-prima pioneira do romance alemão.

O subtítulo completo é "O relato da vida de um estranho errante chamado Melchior Sternfels von Fuchshaim: ou seja, onde e de que maneira ele veio a este mundo, o que ele viu, aprendeu, experimentou e suportou nele; também por que ele o deixou novamente por sua própria vontade".
Criação de anfíbios em cativeiro
A criação em cativeiro de anfíbios tem como objectivo a conservação de espécies ameaçadas através da reprodução de indivíduos em jardins zoológicos, ou outras instalações dedicadas. Dado o declínio das populações de anfíbios observada desde a década de 1960, programas de criação em cativeiro de anfíbios têm sido estudados em conjugação com técnicas de preservação de material genético e programas de protecção dos habitats e das espécies, como o Amphibian Ark.

Os anfíbios têm fertilidade elevada o que permite que as populações em cativeiro possam aumentar rapidamente, permitindo o repovoamento rápido das populações em perigo.

No entanto, estas técnicas têm a desvantagem de aumentar a consanguinidade das populações, o que pode levar a uma menor diversidade genética.

Jardim zoológico
Um jardim zoológico, também chamado de zoológico ou simplesmente zoo (FO 1943: zôo), é um local específico para se manter animais selvagens que podem ser exibidos ao público. Nele, existem profissionais especializados, como veterinários, biólogos e zootecnistas, que cuidam da alimentação, da ambientação dos recintos, da saúde mental e física dos animais, entre muitas outras atividades. Os atuais zoológicos podem ser considerados como uma continuidade histórica das antigas ménageries reais da Europa.

Os zoológicos atuam visando ao bem-estar dos seus animais, utilizando métodos de enriquecimento ambiental e condicionamento animal e têm, como principal objetivo, a conservação destas espécies em vida livre. Este objetivo é alcançado por meio da educação ambiental, pesquisa científica, reprodução de espécies ameaçadas de extinção para reintrodução e recebimento e recuperação de animais vítimas de tráfico, atropelamento, queimada etc.
Burgemeester Beinsdorp
Burgemeester Beinsdorp (52° 52′ N, 7° 05′ L) é uma cidade dos Países Baixos, na província de Groninga. Burgemeester Beinsdorp pertence ao município de Westerwolde, e está situada a 15 km, a nordeste de Emmen.

Em 2001, a cidade de Burgemeester Beinsdorp tinha 417 habitantes. A área urbana da cidade é de 0.17 km², e tem 168 residências. 
A área de Burgemeester Beinsdorp, que também inclui as partes periféricas da cidade, bem como a zona rural circundante, tem uma população estimada em 420 habitantes.

Groninga (província)
Groninga (Groningen em neerlandês e Grönnen em groninguês) é uma província dos Países Baixos com 2 960,03 km² e população de 577 014 (1/1/2010), limitada pelo Mar do Norte, Alemanha e as províncias de Drente e Frísia.

É constituída por terras baixas, protegidas por diques e cruzadas por numerosos canais. Produz cereais, gado e turfa. Possui indústrias pesqueiras.

Sua capital é a cidade de Groninga.
Adavi (Nigéria)
Adavi é uma área do governo local no estado de Kogi, Nigéria, adjacente ao estado de Edo, no sul, e a capital do estado, Lokoja, no norte. Sua sede é na cidade de Ogaminana perto da rodovia Rodovia A123 no sudoeste da área em7° 36′ 05″ N, 6° 12′ 01″ L.

Possui uma área de 718 km2 e uma população de 202.194 no censo de 2006.[nota a].

O código postal da área é 264.

Código postal
Código postal ou Código de Endereçamento Postal (CEP) é um código desenvolvido pelas administrações postais e criado com o intuito de facilitar a organização logística e localização espacial de um "endereço postal", ou seja, um endereço para uso pelos correios. Cada administração postal é livre de criar o código que melhor se adapte à realidade postal e administrativa do seu país.

Existem diversos tipos de código postal, quer puramente numéricos, quer misturando letras e números.

Atualmente, cerca de 117 dos 190 países que compõem a União Postal Universal aderem ao código postal.
Primož Trubar
Primož Trubar ou Primož Truber (pronunciaⓘ) (Carníola, 19 de junho de 1508 — Tubinga, 28 de junho de 1586) foi um reformador esloveno e participou da tradução da Bíblia na língua eslovena, além de publicar os primeiros livros em língua eslovena, Katekizem e Abecednik, no ano de 1551 (antes destes já havia escritos em dialeto esloveno). Foi também o primeiro teólogo esloveno.

Carníola
Carníola (em esloveno: Kranjska, em alemão: Krain) é uma região da Eslovénia em volta da capital eslovena Liubliana. Antigo ducado da Casa de Habsburgo, até 1918 fazia parte do Império austro-húngaro. Depois da Primeira Guerra Mundial, passou na sua maioria a fazer parte da Jugoslávia, excepto a sua parte ocidental que passou a fazer parte do Reino de Itália. Depois da Segunda Guerra Mundial, a parte italiana se integrou à Jugoslávia, até a dissolução da mesma.
Skin Game
Skin Game (bra Dois Trapaceiros da Pesada) é um filme estadunidense de 1971, dos gêneros comédia romântica e faroeste, dirigido por Paul Bogart e Gordon Douglas (não creditado), com roteiro de Pierre Marton e Richard Alan Simmons.

Trata-se de uma comédia de costumes de componentes antirracistas cuja trama se desenrola no século 19.

Comédia romântica
Comédia romântica é um subgênero cinematográfico dos gêneros comédia e romance.

O formato básico de uma comédia romântica é muito anterior ao cinema. Muitas das peças de teatro de William Shakespeare, como Muito barulho por nada e Sonho de uma noite de verão se situam dentro do gênero da comédia romântica.
Grande Prêmio da Áustria de 1998
Resultados do Grande Prêmio da Áustria de Fórmula 1 realizado em A1-Ring em 26 de julho de 1998. Décima etapa da temporada, teve como vencedor o finlandês Mika Häkkinen, que subiu ao pódio junto a David Coulthard numa dobradinha da McLaren-Mercedes, com Michael Schumacher em terceiro pela Ferrari.

Scuderia Ferrari
A Scuderia Ferrari, atualmente competindo como Scuderia Ferrari HP, é uma equipe de automobilismo da montadora italiana Ferrari que compete no campeonato da Fórmula 1. É a equipe mais antiga em atividade na categoria.

A Ferrari é a equipe mais vitoriosa e bem-sucedida da história da F1. No Grande Prêmio da China de 2007 a equipe atingiu a incrível marca de 200 triunfos em Grandes Prêmios.
Classe Scharnhorst
Houve duas classes de navios chamadas Classe Scharnhorst:

Classe Scharnhorst (cruzadores): uma classe de cruzadores blindados operada pela Marinha Imperial Alemã de 1907 a 1914.

Classe Scharnhorst (couraçados): uma classe de couraçados operada pela Kriegsmarine de 1938 a 1943.

Cruzador blindado
O cruzador blindado ou cruzador couraçado é um tipo de cruzador, um navio de guerra. É protegido por uma cinta lateral blindada, além do convés blindado e casamatas carvoeiras protegidas. Os cruzadores blindados foram os principais combatentes de duas batalhas navais - a Batalha de Ulsan na Guerra Russo-Japonesa, e a Batalha de Coronel na I Guerra Mundial - e desempenharam importantes papéis de apoio em outras batalhas da época.
Ruddy Rodríguez
Ruddy Rosario Rodríguez de Lucía (Anaco, 20 de março de 1967) é uma empresária e atriz venezuelana.

Além de várias telenovelas e peças de teatro, fez uma breve aparição no filme da série James Bond The Living Daylights. Em 1994 converteu-se à Cientologia.

The Living Daylights
The Living Daylights (Brasil: 007 - Marcado Para A Morte / Portugal: 007 - Risco Imediato) é o décimo quinto filme da franquia James Bond e o primeiro a estrelar Timothy Dalton como o agente secreto 007. O título é tirado de um conto escrito por Ian Fleming, "The Living Daylights". Este foi o último filme da série a ter um título original de Fleming até Casino Royale, de 2006.

O começo do filme é semelhante ao conto, onde Bond age como atirador de elite para defender um desertor soviético, Georgi Koskov. Ele conta a Bond que o General Pushkin, chefe da KGB, está sistematicamente matando agentes britânicos e 
norte-americanos. Quando Koskov é sequestrado, Bond o segue pela Europa, Marrocos e Afeganistão.

The Living Daylights foi dirigido por John Glen, produzido por Albert R. Broccoli e seu enteado Michael G. Wilson, e escrito por Wilson e Richard Maibaum. O filme foi positivamente recebido pela maior parte da crítica e foi um sucesso comercial, arrecadando mais de US$ 191.2 milhões.
Thunderstruck
"Thunderstruck" é um single da banda australiana de hard rock AC/DC. Foi composta no ano de 1990 pelos irmãos Angus Young e Malcolm Young e está presente no álbum The Razors Edge.

No YouTube a canção tem 1.3 bilhões de visualizações, sendo a música mais vista do canal do AC/DC na plataforma.

Hard rock
Hard rock é um estilo musical, subgênero do rock que tem suas raízes do rock de garagem e psicodélico do meio da década de 1960, que se caracteriza por ser consideravelmente mais pesado do que a música rock convencional, e marcada pelo uso de distorção, uma seção rítmica proeminente, arranjos simples e um som potente, com riffs e solos de guitarra pesada. 
A formação típica era constituída por bateria, baixo, guitarra, e algumas vezes, um piano ou teclado, além de um vocalista que muitas vezes se utilizava de vocais agudos e roucos. Nos finais dos anos 1960, os termos hard rock e heavy metal eram praticamente usados como sinônimos, mas o último gradualmente começou a descrever um estilo de música tocado ainda com mais volume e intensidade. Há ainda outra diferença chave, entre ambos sub-gêneros: Enquanto o hard rock manteve sua identidade blues e algum swing na batida, as melodias do metal são frequentemente ditadas por riffs agressivos de guitarra, desprovidos de swing.
Torneio Internacional de Durban de 2015
O Torneio Internacional de Durban de 2015 (também denominado Durban Under 19 International Football Tournament) foi a segunda edição deste evento esportivo, um torneio internacional de futebol masculino Sub-19, que ocorreu em Durban, África do Sul. A competição ocorre de 29 de julho a 8 de agosto de 2015.

O time inglês Arsenal bateu os holandeses do PSV Eindhoven por 2 a 1 na final, com gols de Ben Sheaf e Yassin Fortune, e se tornou o campeão da competição. A África do Sul venceu o Stuttgart na disputa do terceiro lugar.

Seleção Sul-Africana de Futebol
A Seleção Sul-Africana de Futebol (em inglês:  South Africa national football team; em africâner: Suid-Afrikaanse nasionale sokker span) representa a África do Sul nas competições de futebol da FIFA. Seu apelido é Bafana Bafana, um termo da língua zulu que significa "Os Garotos". Ela é filiada à FIFA, CAF e COSAFA.
Ioan Gruffudd
Ioan Gruffudd (Llwydcoed, 6 de outubro de 1973), é um ator Galês.

Estudou na Royal Academy of Dramatic Art, e começou em produções cinematográficas no seu país, alcançando fama como o Oficial Harold Lowe no filme Titanic (1997), e Lt. John Beales em Black Hawk Down (2001).

Ficou também conhecido por desempenhar o papel de Senhor Fantástico nas produções cinematográficas da franquia Fantastic Four, como o abolicionista inglês William Wilberforce em Amazing Grace (2006) e em Sanctum (2011). Na TV destacou-se em Forever interpretando Henry Morgan (2014-2015).

Mid Glamorgan
Mid Glamorgan, (Morgannwg Ganol em galês) é um condado preservado localizado no sul do País de Gales.

As comunidades de Wick, St Brides Major, Ewenny (do distrito de Ogwr) tornaram-se parte do distrito Vale de Glamorgan, enquanto [[Pentyrch] ]] (do distrito de Taff-Ely) foi adicionado à área de autoridade unitária Cardiff. Por causa disso, eles se tornaram parte do condado preservado de South Glamorgan. Em 2003, as fronteiras cerimoniais foram ajustadas, colocando todo o distrito de Caerphilly no condado cerimonial de  Gwent.
Campeonato Amazonense de Futebol Feminino de 2017
O Campeonato Amazonense de Futebol Feminino de 2017 foi organizado pela Federação Amazonense de Futebol. O torneio deu ao melhor colocado, tirando o Iranduba, vaga na Série A2 do Campeonato Brasileiro.

Esporte Clube Iranduba da Amazônia
O Esporte Clube Iranduba da Amazônia (mais conhecido apenas como Iranduba) é um clube esportivo brasileiro fundado  em 18 de Janeiro de 2011, com sede na cidade de Iranduba, parte da Região Metropolitana de Manaus, Amazonas. Suas cores oficiais são o verde e o branco, presentes em todos os seus símbolos.
Amadeo Bordiga
Amadeo Bordiga ( 13 de junho de 1889 — 23 de julho de 1970) foi um destacado marxista e teórico italiano, fundador do Partido Comunista da Itália, um dos líderes da Internacional Comunista e mais tarde uma figura de liderança no Partido Comunista Internacional. Embora associado ao PCIt, Bordiga fora expulso em 1930, acusado de trotskismo.
Bordiga é considerado um dos mais notáveis representantes da esquerda comunista da Europa.

Trotskismo
O trotskismo é uma doutrina marxista baseada nos escritos do político e revolucionário ucraniano Leon Trótski. É formulada como teoria política e ideológica, apresentada como vertente do socialismo e comunismo por oposição ao stalinismo. Em 1946, Hermínio Sacchetta, dirigente trotskista brasileiro nas décadas de 1940 e 1950, define assim o trotskismo:
All Out (EP)
All Out (estilizado em caixa alta) é o primeiro EP (extended play) do grupo feminino virtual de K-pop, K/DA. O EP foi lançado em 6 de novembro de 2020 pela Riot Games e Stone Music Entertainment. O álbum contém cinco canções que apresentam vocais da formação original das integrantes, Jeon So-yeon e Cho Mi-yeon do grupo feminino de K-pop: (G)I-dle, Madison Beer e Jaira Burns e uma variedade de cantores influentes, como Bea Miller, Wolftyla, Lexie Liu, Kim Petras, Alunas, Bekuh Boom, integrantes do grupo Twice e Annika Wells. Cada música foi produzida por um dos membros fictícios do grupo. A personagem Seraphine foi introduzida em League of Legends junto ao lançamento do álbum e participa da faixa More.

A canção The Baddest foi escolhida como single em 27 de agosto de 2020, antes do lançamento do álbum. Apesar de não ser um single, a faixa Drum Go Dum foi disponibilizada em Just Dance 2021.

Lexie Liu
Lexie Liu (em mandarim: 劉柏; nascida em 21 de dezembro de 1998), nome de nascença de Liu Yuyu (劉昱妤), é uma cantora, rapper e compositora chinesa. Ela começou a ganhar proeminência em 2015 após participar da quinta temporada do reality K-Pop Star na Coreia do Sul, onde acabou terminando em quarto lugar. Em 2018, participou do reality The Rap of China em seu país natal, terminando também em quarto lugar. Sua participação neste programa lhe garantiu o início de sua carreira musical como solista de Mandopop. Em fevereiro de 2019, Liu lançou seu primeiro EP, intitulado 2030. Desde então, lançou os discos Meta Ego (2019), Gone Gold (2021) e The Happy Star (2022). Em 16 de outubro de 2025, lançou seu primeiro disco totalmente em inglês, Teenage Ramble.
Problema da parada
Na teoria da computabilidade o experimento mental do problema da parada é um problema de decisão que pode ser declarado informalmente da seguinte forma:

''Dadas uma descrição de um programa e uma entrada finita, decida se o programa termina de rodar ou rodará indefinidamente.''

Alan Turing provou em 1936 que um algoritmo genérico para resolver o problema da parada para todos pares programa-entrada possíveis não pode existir. Dizemos que o problema da parada é indecidível nas Máquinas de Turing.

Stephen Kleene
Stephen Cole Kleene (Hartford, 5 de janeiro de 1909 — Madison, 25 de janeiro de 1994) foi um matemático estadunidense.

Um dos estudantes mais notórios de Alonzo Church, Kleene é reconhecido junto com Alan Turing, Emil Post e outros como um fundador da ramificação da lógica matemática conhecida por teoria da computabilidade. Seu trabalho fundamentou o estudo de que funções são computáveis. Diversos conceitos matemáticos têm seu nome, como a hierarquia de Kleene, a álgebra de Kleene, o fecho de Kleene, o teorema da recursão de Kleene e o teorema do ponto fixo de Kleene. Ele também é o inventor das expressões regulares, e foi um líder na defesa do intuicionismo.