His main interests are in the intersection of algebraic geometry with algebraic topology, and he introduced together with Fabien Morel a homotopy theory for schemes.
He has recently been involved in the homotopy type theory (HoTT) project which is being intensely discussed in mathematical logic and computer science.
In 2002, he received the Fields Medal for his modern formulation of motivic cohomology and for its use in the proof of Milnor’s conjecture.
www.gess.ethz.chSeine Hauptinteressen liegen im Bereich der Schnittstellen von algebraischer Geometrie und Topologie und er ist der Mitbegründer der Homotopietheorie von Schemata.
In den letzten Jahren hat er diese Theorie in der Homotopie Typentheorie (HoTT) angewandt, welche zurzeit in der mathematischen Logik und Informatik sehr intensiv diskutiert wird.
2002 erhielt er für seine moderne Formulierung von motivischer Kohomologie und für deren Verwendung im Beweis der Milnor-Vermutung die Fields Medaille.
www.gess.ethz.chError 24 :
Compass Sensor" 5.4 HoTT-Transmitter speaks at last waypoint "Waypoint reached" 5.5 Voltage measurement:
forum.mikrokopter.deError 24 :
Compass Sensor" gemeldet 5.4 Am letzten Wegpunkt spricht der HoTT-Sender "Wegpunkt erreicht" 5.5 Kalibrierung Spannungsmessung:
forum.mikrokopter.deof our fleet.
Bell 206 LongRanger D-HOTTClick here to get a larger view of the Bell 206 JetRanger.
Click here to get a larger view of the Bell 206 JetRanger.
www.rotorflug.comBell 206 LongRanger D-HOTT
Klicken Sie hier, um eine Großansicht des Bell 206 LongRanger zu öffnen.
Klicken Sie hier, um eine Großansicht des Bell 206 LongRanger zu öffnen.
www.rotorflug.comИскате ли да добавите дума, израз или превод?
Изпратете ни нов запис.