OpenLLM-France/wikimedia huggingface dataset:
# Mastro Filippo

Mastro Filippo (notizie dal 1191 – 1231) è stato uno scultore e architetto italiano del XIII secolo.
Forse nacque a Pavia, ma il luogo di nascita non è sicuro. Fu un maestro comacino che lavorò nelle Marche e in Umbria realizzando opere sacre di stile romanico e che si occupò anche di opere di fortificazione.

## Opere

In particolare si ricordano le seguenti opere:
* facciata della chiesa di Santa Maria della Piazza in Ancona, nel 1210;
* rifacimento delle mura di Ancona, nel 1221, di cui rimane Porta San Pietro (o Arco di Garòla) con le mura adiacenti, mentre Porta di San Giovanni (o arco della Serpe), non è più esistente;
* chiesa di San Salvatore in Ancona, del 1213-1224 (ricostruita nel XVII secolo, con il nome di S. Pellegrino e Teresa, rimangono frammenti del portale di mastro Filippo, conservati nel Museo Diocesano: una Lunetta con Cristo benedicente tra i simboli degli evangelisti Luca e Marco);
* Ampliamento del Duomo di Ancona
* Palazzo del Senato di Ancona, prima del 1225 (attribuito)
* San Giovanni Profiamma a Foligno, del 1231;
* Duomo di Osimo, del 1191.
# Mastro Zacharius o l'orologiaio che aveva perduto l'anima

Mastro Zacharius o l'orologiaio che aveva perduto l'anima (Maître Zacharius ou l'horloger qui avait perdu son âme) è un racconto breve fantastico di sapore hoffmanniano, scritto da Jules Verne nel 1854.
La prima edizione italiana, intitolata Mastro Zaccaria ovvero l'orologiajo che aveva perduto l'anima, risale al 1875 nella raccolta Novelle fantastiche pubblicata dai Fratelli Treves. Le successive edizioni italiane dell'opera riportano vari titoli diversi come Mastro Zaccaria ovvero l'anima dell'orologiaio, Mastro Zacharius, Mastro Zaccaria: una leggenda ginevrina.
La trama base è piuttosto semplice: un vecchio orologiaio cede l'anima (e poi la figlia) in cambio dell'immortalità dei propri orologi.
Il sapore di molti dettagli della storia è grottesco, in particolare nella sequenza finale.
Compare qui uno degli elementi verniani ricorrenti dei romanzi più leggeri, la giovane coppia di innamorati, più o meno contrastati come in Una città galleggiante, Le Indie nere, Il raggio verde, Il castello dei Carpazi, Caccia alla meteora.

## Edizioni italiane

* Mursia, 1967, nel volume "Viaggio al centro della terra; Mastro Zacharius; Il conte di Chanteleine", traduzione di M. Triboni.
* Mastro Zacharius, a cura di Maurizio Ferrara, Firenze, Passigli, 2005.
* Una traduzione italiana di questo racconto è stata pubblicata dalla rivista Urania, con il titolo Mastro Zaccaria - Leggenda ginevrina e spezzata in quattro parti sui numeri 511(6/4/1969), 512 (20/4/1969), 513 (4/5/1969) e 514 (18/5/1969).
# Mastro Gerardus

Mastro Gerardus (Reil, 1210/1215 – Colonia, 24/25 aprile 1271) è stato un architetto tedesco progettista e primo costruttore del duomo di Colonia.

## Cultura di massa

La morte di Mastro Gerardus, avvenuta sul cantiere del duomo la cui costruzione sovrintendeva, è all'origine delle vicende narrate ne Il diavolo nella cattedrale, romanzo d'esordio di Frank Schätzing del 1995.
# Antonio Gazzoletti

Antonio Gazzoletti (Nago-Torbole, 20 marzo 1813 – Milano, 21 agosto 1866) è stato un giurista e poeta italiano.

## Biografia

Antonio Gazzoletti, patriota, giurista, giornalista, poeta, drammaturgo, saggista, librettista, fu uno dei protagonisti della rivoluzione del 1848, a Trieste. Era figlio di Guglielmo e della nobildonna Silvia Negri di Montenero. Morto nel 1826 il padre, la madre si dedicò con passione alla educazione dei suoi otto figli. Antonio Gazzoletti studiò presso il prestigioso Imperial Regio Ginnasio Superiore di Trento, l'attuale Liceo Classico Giovanni Prati. Da ragazzo, insieme al cugino Giovanni Prati, si divertiva a comporre versi. Alcune sue poesie entrarono nella raccolta antologica: Scelta di poesie edite e inedite di varj autori tirolesi, Trento, 1830. Laureatosi in giurisprudenza a Padova, nel 1835, lavorò molti anni come avvocato a Trieste.
Collaborò alla rivista triestina «La Favilla». Alla stessa rivista collaborarono anche Caterina Percoto e Francesco dall'Ongaro. Divenne intimo di Nicolò Tommaseo e di Andrea Maffei. Nel 1850 fu confinato a Innsbruck, ma riuscì a fuggire e a nascondersi in Lombardia, dove tenne contatti con l'emigrazione tirolese e trentina.
Successivamente profugo a Torino, collaborò a testate giornalistiche. Nel 1860 si trasferì a Milano, dove diresse il quotidiano «La Lombardia». Fu eletto deputato al Parlamento del Regno di Sardegna. Nel 1862 divenne Procuratore Generale di Brescia.
Gazzoletti è autore della tragedia cristiana Paolo, l'apostolo delle genti, dove sono chiari i riferimenti a drammi religiosi popolari, ma è anche evidente l'ispirazione dall'Adelchi. Questa tragedia fu apprezzata da Cesare Cantù. L'opera in versi La grotta di Adelberga,dedicata ad Andrea Maffei, ha richiami alla tradizione poetica nordica; la protagonista è Ondina, una ninfa nata dalle acque di Trieste, che si innamora di un uomo che presto l'abbandona. Ondina ripara nel buio di una grotta e, versando lacrime, genera stalagmiti. La grotta di Adelsberg è più nota come Grotte di Postumia. Ondina, che appartiene alla tradizione mitologica germanica, è per metà donna e per metà pesce, come la sirena. La grotta d'Adelberga appartiene al genere fantastico che nella letteratura italiana ottocentesca ha pochi altri esempi.
I suoi resti si trovano al cimitero monumentale di Milano.

## Opere
### Versi

* Versi, 1838
* Galatti, 1840
* Piccarda del Donati, 1841
* Memorie e fantasie, 1842
* Falco Lovaria, 1845
* Poesie, 1846
* La grotta d'Adelberga, 1853
* Poesie, 1860 (compendio)
* Umberto Biancamano, 1863
* Poesie (Affetti e pensieri - Racconti - L'ondina d'Adelberga - Fasti e nefasti - Paolo - La poetica d'Orazio), 1861
* Canzone per la festa secolare di Dante, 1865

### Tragedia

* Paolo, l'apostolo delle genti, 1857 (nuova edizione 1873)

### Libretti d'Opera

* La schiava greca, 1868
* Turanda, 1867 (Musica di Antonio Bazzini)
# Martín Cortés Zúñiga

Martín Cortés Zúñiga, marchese della Valle di Oaxaca (Cuernavaca, 1533 – Madrid, 13 agosto 1589), è stato un militare messicano. Martín Cortés fu il figlio del conquistatore del Messico Hernán Cortés e di sua moglie Juana de Zúñiga. Essendo il suo unico erede legittimo fu lui ad ereditare il titolo di marchese della Valle di Oaxaca, questo fece di lui uno dei primi nobili spagnoli in terra Azteca.

## Biografia

Martín Cortés nacque a Cuernavaca (attuale stato di Morelos) nell'allora Vicereame della Nuova Spagna, oggi Messico. Fu figlio di Hernán Cortés e della sua seconda moglie spagnola, Juana Zúñiga. Aveva un fratello maggiore con lo stesso nome nato nel 1523 e morto nel 1568, figlio di Hernán Cortés e di doña Marina, La Malinche, che venne chiamato el mestizo e visse con il fratellastro.
Nel 1540 Martín Cortés, assieme al padre tornò in Spagna e si mise al servizio di re Carlo I e successivamente servì il successore, Filippo II. Come soldato dell'esercito reale, partecipò alla battaglia di San Quintino, 1557 e nella campagna del Paesi Bassi.
Durante la sua permanenza in Spagna si sposò con la nipote, Ana Ramírez de Arellano, e inoltre mantenne relazioni con l'aristocrazia e gli intellettuali del tempo come lo scrittore Lopéz de Gómara (che gli dedicò la biografia di Hernán Cortés, suo padre, che aveva scritto).
Nel 1563, ritornò in Messico, dove viene accolto molto calorosamente. Con lui arrivano i suoi fratelli Luis e Martín. In quel periodo Martín Cortés, per le sue proprietà e ricchezze era considerato l'uomo più ricco della Nuova Spagna. Martín si pose alla testa di un movimento che lottava per ottenere più indipendenza dal governo del viceregno; alla morte del primo viceré Luis de Velasco nel 1564 viene nominato dal comune di Città del Messico Capitano Generale; nomina che lo farà scontrare più volte con l'udienza reale. Questo scontro portò la sua fazione a chiedere la totale indipendenza della Nuova Spagna, e nel 1565 una sollevazione chiese la sua nomina a re della Nuova Spagna.
La sconfitta del fronte indipendentista portò all'arresto di tutti i congiurati, Martín Cortés fu arrestato e processato in Spagna: nell'aprile del 1567 fu spogliato dei suoi beni e condannato a pagare una pesante multa.

## Opere

* (ES) Breve compendio de la sphera y de la arte de navegar, 1551.
* (ES) Breve compendio de la sphera y de la arte de navegar con nuevos instrumentos y reglas exemplificado con muy subtiles demonstraciones, 1589.
# Martín Conde

Martín Alejo Conde (Mar del Plata, 25 agosto 1971) è un ex giocatore di beach volley argentino.

## Palmarès
### Mondiali

* 1 medaglia:
** 1 oro (Klagenfurt 2001)
# Ante Zurak

Ante Zurak (Zara, 13 agosto 1984) è un calciatore croato, di ruolo difensore.

## Carriera

Zurak militò nello Zadar e nel Međimurje Čakovec, prima di trasferirsi ai norvegesi dell'Alta. Esordì nel club, partecipante all'Adeccoligaen, in data 24 agosto 2008: fu infatti titolare nel successo per 4-1 sul Bryne. Rimase fino al termine della stagione, per poi accordarsi con il Široki Brijeg. Tornò poi al Međimurje Čakovec, per poi giocare nel Šibenik e negli iraniani del Mes Kerman. Accettò poi un contratto offertogli dai bosniaci del GOŠK Gabela.
# Zazacatla

«Quando la loro società diventò stratificata, i nuovi regnanti ebbero bisogno di emblemi... per giustificare il loro potere sulla gente che un tempo gli era pari.»
Zazacatla è un sito archeologico pre-colombiano situato nella piana centrale del Messico, risalente al periodo dell'età Formativa nella storia della Mesoamerica. Il sito è stato esplorato per la prima volta nel 2006 a 40 km di distanza a sud di Città del Messico. Le prime ricerche degli archeologi dall'Istituto Nazionale di Storia Archeologica del Messico portarono prove di una influenza Olmeca sulla cultura del sito, la prima della regione occidentale di Morelos.
Solo una parte del centro cerimoniale di Zazacatla è stato esplorato su una superficie di circa 9000 metri quadrati di terreno. L'area totale coperta dal sito è stimata intorno a 2,5 km quadri.
I primi abitanti di Zazacatla si stabilirono nella regione intorno all'800 - 500 a.C., età in quale sorse il sito olmeco di La Venta a 400 km verso est. L'archeologa Giselle Canto ha spiegato alla Associate Press che gli abitanti adottarono lo stile Olmeco quando cambiarono la loro semplice società egalitaria in una più complessa gerarchicamente.
Canto crede che gli abitanti potessero non essere etnicamente appartenenti alla gente olmeca.
In gennaio 2007, il governatore di Morelos, Marco Adame Castillo, ha offerto allo stato il ricavato di una raccolta di fondi per la conservazione del sito e per includerlo nei luoghi turistici e culturali dello stato, prevedendo che un progetto turistico si sarebbe sviluppato quando le ricerche archeologiche si fossero portate avanti.
# Zoo di Naples

Lo zoo di Naples è uno zoo situato nella città di Naples, in Florida, Stati Uniti d'America. Realizzato nel 1969, copre un'area di 17 ettari. Lo Zoo di Napoli è aperto tutti i giorni dalle 9:00 a.m alle 4:30 p.m.
# Marybeth Sant-Price

Marybeth Sant-Price (Highlands Ranch, 6 aprile 1995) è una velocista statunitense, medaglia di bronzo ai Mondiali indoor 2022 negli 60 m piani.

## Biografia

Molto promettente al primo anno di università con gli Oregon Ducks, ha sofferto di varie fratture da stress finché non le è stata diagnosticata l'osteopenia che l'ha tenuta lontana dalle piste per diversi anni. É sbocciata nel 2021 e ha partecipato, la stagione successiva, alla prima manifestazione importante vincendo la medaglia di bronzo ai Mondiali indoor 2022 negli 60 m piani.

## Palmarès

| Anno | Manifestazione | Sede | Evento | Risultato | Prestazione | Note |
| 2022 | Mondiali indoor | Belgrado | 60 m piani | Bronzo | 7"04 | |

## Altre competizioni internazionali
### 2023

* Bronzo al Millrose Games ( New York), 60 m piani - 7"11

## Campionati nazionali
### 2013

* 8ª ai campionati statunitensi indoor (Albuquerque), 60 m piani - 7"36

### 2020

* 6ª ai campionati statunitensi indoor (Albuquerque), 60 m piani - 7"25

### 2022

* Argento ai campionati statunitensi indoor (Spokane), 60 m piani - 7"08

### 2023

* Argento ai campionati statunitensi indoor (Albuquerque), 60 m piani - 7"09
# Matrice permutativa generalizzata

In matematica, una matrice permutativa generalizzata è una matrice con le coordinate non nulle collocate come le coordinate uguali ad 1 in una matrice di permutazione, cioè una matrice che ha esattamente un elemento non nullo in ogni riga e in ogni colonna.
Un esempio di matrice di permutazione generalizzata è
    ${\begin{bmatrix}0&0&3&0\\0&-2&0&0\\1&0&0&0\\0&0&0&1\end{bmatrix}}$
Un interessante teorema afferma:
    Se una matrice non singolare e la sua inversa sono entrambe matrici non negative, cioè matrici con coordinate non negative, allora la matrice è una matrice permutativa generalizzata.
# Matrice nulla

In matematica, una matrice nulla o matrice zero è una matrice i cui valori sono tutti pari a zero.
La matrice nulla con $m$ righe e $n$ colonne viene indicata con $0_{m\times n}$, o più semplicemente con $0$.
Sono qui mostrate alcune matrici quadrate nulle:
    ${\begin{bmatrix}0\end{bmatrix}},\ {\begin{bmatrix}0&0\\0&0\end{bmatrix}},\ {\begin{bmatrix}0&0&0\\0&0&0\\0&0&0\end{bmatrix}},\ \cdots ,\ {\begin{bmatrix}0&0&\cdots &0\\0&0&\cdots &0\\\vdots &\vdots &\ddots &\vdots \\0&0&\cdots &0\end{bmatrix}}$

## Proprietà
### Elemento neutro

La matrice nulla è l'elemento neutro rispetto all'operazione di somma fra matrici. In altre parole, valgono le relazioni
    $A+0=0+A=A$
per ogni matrice $A$ avente lo stesso numero di righe e colonne di $0$.
L'insieme $M(m,n,K)$ di tutte le matrici $m\times n$ a valori in un fissato campo $K$ è un gruppo e uno spazio vettoriale, e la matrice nulla $0$ è l'elemento neutro di entrambe le strutture.
Se $m=n$, è definita anche una moltiplicazione e l'insieme $M(m,m,K)$ è anche un anello: tutte queste strutture sono riassunte nella nozione di algebra su campo, e $0$ è sempre l'elemento neutro rispetto alla somma. L'elemento neutro rispetto al prodotto è la matrice identità.

### Applicazioni lineari

Alla matrice nulla è associata la trasformazione lineare identicamente nulla: quell'applicazione $0:V\to W$ fra spazi vettoriali che associa ad ogni vettore $v$ di $V$ il vettore nullo di $W$.
# Apriti cielo

Recensioni professionali :
| Recensione | Giudizio |
| NoteVerticali.it | |
Apriti cielo è il quarto album in studio del cantautore italiano Alessandro Mannarino, pubblicato il 13 gennaio 2017 dalla Universal.

## Tracce

* Roma – 4:01
* Apriti cielo – 4:12
* Arca di Noè – 4:10
* Vivo – 3:35
* Gandhi – 6:57
* Babalù – 3:50
* Le rane – 3:54
* La frontiera (con l'intervento del coro polifonico "San Domenico Savio" di Scordia) – 5:07
* Un'estate – 4:25

## Classifiche

| Classifica (2017) | Posizione |
| Italia | 1 |
# Maschinenfabrik Oerlikon

La Maschinenfabrik Oerlikon (MFO) è stata un'azienda svizzera fondata nel 1876 da Peter Emil Huber-Werdmüller e con sede a Oerlikon (dal 1934 quartiere della città di Zurigo). L'attività produttiva della MFO si concentrò principalmente su macchine, armi e locomotive elettriche, tra cui il famoso "Coccodrillo" delle Ferrovie Federali Svizzere.
Nel corso del tempo le tre divisioni del MFO sono state riorganizzate come componenti di altre grandi aziende OC Oerlikon, e poi della Brown, Boveri & Cie. (che nel 1967 acquisì la MFO), poi ABB e quindi Adtranz.

## Storia

Charles E. L. Brown e Walter Boveri lavoravano per la MFO come capo tecnici nei montaggi fino al 1891, anno in cui fondarono la Brown, Boveri & Cie (BBC). Alla fine di ottobre 1897 la MFO costruisce la Strassenbahn Zürich–Oerlikon–Seebach. La MFO nel 1905–1909 sperimenta, in accordo con la SBB, l'elettrificazione in corrente alternata monofase della tratta Seebach-Wettingen.
Nel 1891 la MFO presenta alla mostra internazionale dell'elettricità del 1891 a Francoforte la prima linea ad alta tensione su 177 km di distanza. La centrale elettrica era a Lauffen am Neckar. Era stato adottato un sistema trifase con una tensione di 15÷25 kV (15 000 ÷ 25 000 volt). La linea mostro un'efficienza del 77%.
Nel 1906 fondano la Werkzeugmaschinenfabrik Oerlikon, conosciuta successivamente come Oerlikon-Bührle. Si specializzarono nell'industria delle armi tra le due guerre mondiali.
Nel 1967 la MFO si unisce alla Brown, Boveri & Cie e dal 1988 con la Allmänna Svenska Elektriska Aktiebolaget (ASEA) creando la ABB.
ABB alla fine del 1996 entra in joint venture con Daimler-Benz creando Adtranz, successivamente ceduta alla Bombardier Transportation. La parte di azienda che produceva turbogeneratori MFO diventa nel 1999 ABB in joint venture con Alstom. L'anno successivo viene venduta a quest'ultima.

### Gebäudeverschiebung

Sull'area della Maschinenfabrik Oerlikon si trova lo MFO-Park. L'edificio storico ora stazione ferroviaria Bahnhof Zürich Oerlikon è stato spostato nel maggio 2012 di 60 metri dalla sua posizione originale sulla linea della Durchmesserlinie Altstetten–Zürich HB–Oerlikon.
* La sede della MFO presso la Bahnhof Zürich Oerlikon (oggi Gleis 9)
* MFO-Park
* Facciata MFO-Gebäudes (2010)
* Edifici storici e moderni nel MFO-Park
* Targa di fabbrica di accumulatori MFO-Rangierlok – sog. Traktor (1921)
# Zdeňka Podkapová

Zdeňka Podkapová (Brno, 6 agosto 1977) è una modella ed ex attrice pornografica ceca, Penthouse Pet of the Year nel 2001.

## Biografia

Nata a Brno nell'allora Cecoslovacchia, prima che Podkapová intraprese la carriera di modella glamour e attrice pornografica, è stata una ginnasta. Ha iniziato la carriera da modella nel 1996 quando ha posato per il suo primo servizio fotografico; nel 1998 è approdata alla rivista Penthouse, finendo sul numero di maggio 1998 e venendo scelta come Pet of the Month. Nel 2001 è stata eletta dalla stessa rivista Pet of the Year.
# Zool

Zool, sottotitolato Ninja of the "Nth" Dimension su alcune copertine, è un videogioco a piattaforme sviluppato e pubblicato dalla Gremlin Graphics nel 1992 per Amiga. Dal 1993 è uscito anche su Atari ST, Game Boy, Sega Mega Drive, SNES, Sega Master System, Sega Game Gear, Amiga CD32, PC e piattaforma RISC OS, così come per le macchine arcade e in versione specifica per Amiga 1200.
Zool ebbe di solito un buon successo di critica, soprattutto nella versione Amiga. Il gioco ha avuto un sequel chiamato Zool 2, pubblicato dalla stessa Gremlin nel 1993, su CD-ROM.
Nel 2000 la versione Amiga di Zool è stata ripubblicata all'interno della raccolta The Best of Gremlin.

## Modalità di gioco

Il protagonista del gioco è Zool, un gremlin "Ninja dell'ennesima dimensione" che è costretto ad atterrare sulla Terra. Al fine di ottenere ranghi ninja superiori, egli deve attraversare sette livelli, battendo un boss alla fine di ciascuno di essi. Il gioco contiene una serie di minigiochi incorporati, tra cui diversi arcade, uno sparatutto e un gioco accessibile solo facendo suonare a Zool una certa melodia su un pianoforte oppure trovando alcuni warp invisibili.
La maggior parte delle trasposizioni per altre piattaforme sono simili all'originale Amiga, ma quelle per Genesis e SNES sono molto diverse, con alcuni livelli più piccoli, grafica e boss diversi. La versione per Amiga CD32 include tracce audio di Neil Biggin e ha la possibilità di scegliere fra effetti sonori e musica.

## Sviluppo

Zool è stato concepito da George Allen come un rivale per Sonic della SEGA. In fase di sviluppo, Zool poteva lanciare incantesimi guadagnati attraverso la raccolta di pozioni. Ad esempio, Zool poteva sfuggire dalle trappole con incantesimi "salto in alto" o creare un clone di se stesso che segue le sue azioni (raddoppiando così la potenza di fuoco). Nella versione finale, gli incantesimi sono stati sostituiti da Power-up che potevano essere raccolti in giro. Inizialmente, il nome per il progetto fu Pootz. La colonna sonora di Patrick Phelan richiama quella di Lotus: The Ultimate Challenge e ha ispirato diversi remix electro/techno. Il gioco è stato fortemente spinto al momento della sua uscita iniziale, fino ad essere venduto in bundle con l'appena lanciato Amiga 1200, anche se in versione priva di grafica migliorata AGA che fu sviluppata successivamente.
# Apollo Patera

L'Apollo Patera è una struttura geologica della superficie di Marte.
# Maslog

Maslog è una municipalità di quinta classe delle Filippine, situata nella Provincia di Eastern Samar, nella Regione del Visayas Orientale.
Maslog è formata da 12 baranggay:
* Barangay 1 (Pob.)
* Barangay 2 (Pob.)
* Bulawan
* Carayacay
* Libertad
* Malobago
* Maputi
* San Miguel
* San Roque
* Tangbo
* Taytay
* Tugas
# Matt Squire

Matt Squire (Washington, 7 maggio 1976) è un produttore discografico e musicista statunitense.

## Biografia

Plurivincitore di dischi di platino grazie ai suoi numerosi lavori con band come Panic! at the Disco, All Time Low e 3OH!3, ha collaborato ad oltre 50 album in meno di 8 anni scrivendo testi, riarrangiando musiche e suonando egli stesso in alcuni album. Altri artisti con cui ha lavorato nel corso degli anni sono: Simple Plan, Sum 41, The Used, Katy Perry, Boys Like Girls e HIM.
Prima di iniziare la sua carriera come produttore discografico Squire ha fatto parte di parecchi gruppi musicali come chitarrista o batterista.
# Matt Sparrow

Matt Sparrow (Londra, 3 ottobre 1981) è un ex calciatore inglese di ruolo centrocampista.

## Carriera

Ha giocato nella seconda divisione inglese.

## Palmarès
### Club
#### Competizioni nazionali

* Football League One: 2
    Scunthorpe: 2006-2007
    Brighton: 2010-2011
# Arend Heyting

Arend Heyting (Amsterdam, 9 maggio 1898 – Lugano, 9 luglio 1980) è stato un matematico e logico olandese.
Allievo di Luitzen Brouwer all'Università di Amsterdam, insieme a lui è uno dei principali esponenti dell'intuizionismo matematico.
Si è occupato dell'assiomatica della geometria proiettiva e dell'algebra intuizioniste, ottenendo anche importanti risultati nella teoria intuizionista degli spazi di Hilbert.
Fondamentali sono state le sue formalizzazioni della logica e della matematica intuizioniste (1930). Per la logica, Heyting si fonda sull'interpretazione delle formule logiche come "intenzioni di costruzioni": 'non A', per es., indica l'intenzione di una contraddizione connessa con l'intenzione originale A. Successivamente Heyting interpretò le formule logiche come asserzioni su costruzioni, per cui la logica intuizionista viene caratterizzata come una logica del conoscere, a differenza di quella classica, che è una logica dell'essere. Queste formalizzazioni di Heyting furono da alcuni considerate come una completa descrizione dell'intuizionismo; si ritenne quindi che esse fossero in contraddizione con la tesi brouweriana della non essenzialità del linguaggio per la matematica intuizionista. Ma già nel 1930 Heyting aveva sostenuto l'impossibilità di una sua completa formalizzazione, poiché "le possibilità di pensare non possono essere ridotte a un numero definito di regole costruite anticipatamente". La formalizzazione (come l'assiomatizzazione) è solo un ausilio per la comunicazione: se è vero che l'intuizionista non cerca il rigore del linguaggio, ma nel pensiero matematico stesso, questo però non implica una separazione assoluta fra linguaggio e matematica. "Nella effettiva ricerca matematica il linguaggio è coinvolto in modo essenziale fin dall'inizio".
# Arend
## Astronomia

* 50P/Arend – cometa periodica scoperta da Sylvain Julien Victor Arend
* 49P/Arend-Rigaux – cometa periodica appartenente alla famiglia delle comete gioviane
* C/1956 R1 Arend-Roland – cometa non periodica con un'orbita retrograda

## Persone

* Geoffrey Arend – attore statunitense
* Sylvain Julien Victor Arend – astronomo belga