enow.com Web Search

Search results

  1. Results from the WOW.Com Content Network
  2. Peter Scholze - Wikipedia

    en.wikipedia.org/wiki/Peter_Scholze

    Peter Scholze (German pronunciation: [ˈpeːtɐ ˈʃɔltsə] ⓘ; born 11 December 1987 [2]) is a German mathematician known for his work in arithmetic geometry. He has been a professor at the University of Bonn since 2012 and director at the Max Planck Institute for Mathematics since 2018.

  3. Condensed mathematics - Wikipedia

    en.wikipedia.org/wiki/Condensed_mathematics

    Condensed mathematics is a theory developed by Dustin Clausen and Peter Scholze which replaces a topological space by a certain sheaf of sets, in order to solve some technical problems of doing homological algebra on topological groups.

  4. Dustin Clausen - Wikipedia

    en.wikipedia.org/wiki/Dustin_Clausen

    Dustin Clausen is an American-Canadian [1] mathematician known for his contributions to algebraic K-theory and the development of condensed mathematics, in collaboration with Peter Scholze. His research interests include the intersections of number theory and homotopy theory.

  5. Perfectoid space - Wikipedia

    en.wikipedia.org/wiki/Perfectoid_space

    Perfectoid spaces may be used to (and were invented in order to) compare mixed characteristic situations with purely finite characteristic ones. Technical tools for making this precise are the tilting equivalence and the almost purity theorem. The notions were introduced in 2012 by Peter Scholze. [1]

  6. List of International Mathematical Olympiad participants

    en.wikipedia.org/wiki/List_of_International...

    The following IMO participants have either received a Fields Medal, an Abel Prize, a Wolf Prize or a Clay Research Award, awards which recognise groundbreaking research in mathematics; a European Mathematical Society Prize, an award which recognizes young researchers; or one of the American Mathematical Society's awards (a Blumenthal Award in ...

  7. abc conjecture - Wikipedia

    en.wikipedia.org/wiki/Abc_conjecture

    In 2006, the Mathematics Department of Leiden University in the Netherlands, ... In March 2018, Peter Scholze and Jakob Stix visited Kyoto for discussions with Mochizuki.

  8. AOL Mail

    mail.aol.com

    Get AOL Mail for FREE! Manage your email like never before with travel, photo & document views. Personalize your inbox with themes & tabs. You've Got Mail!

  9. Lean (proof assistant) - Wikipedia

    en.wikipedia.org/wiki/Lean_(proof_assistant)

    In 2021, a team of researchers used Lean to verify the correctness of a proof by Peter Scholze in the area of condensed mathematics. The project garnered attention for formalizing a result at the cutting edge of mathematical research. [17]