Diskussion:Mark Spivakovsky
aus Wikipedia, der freien Enzyklopädie
Dies ist die aktuelle Version dieser Seite, zuletzt bearbeitet am 16. November 2017 um 08:39 Uhr durch imported>Claude J(344569).
Nach Voevodsky veröffentlichte er 1993 einen Beweisversuch einer weitreichenden Vermutung über die Auflösung von Singularitäten in der algebraischen Geometrie, die sich aber mehrere Jahre später als fehlerhaft herausstellte.Voevodsky, The Origins and Motivations of Univalent Foundations, IAS 2014 (von Voevodsky als Beispiel der Schwierigkeiten von Beweisverifikationen aufgeführt, neben mehreren eigenen Beispielen). Kann das aber im Augenblick nicht zurückverfolgen (wahrsch. Preprint).--Claude J (Diskussion) 09:38, 16. Nov. 2017 (CET)
