36 citations · 106 across the 22 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
math.RA2021
Constructive basic theory of central simple algebras
Thierry Coquand, Henri Lombardi, Stefan Neuwirth
We provide a constructive treatment of basic results in the theory of central simple algebras. One main issue is the fact that one starting result, Wedderburn's Theorem stating tha…
math.HO2021
"It is like egg": Paul Lorenzen and the collapse of proofs of consistency
Stefan Neuwirth
Paul Lorenzen, mathematician and philosopher of the 20th century, mentions October 1947 as the date of a crisis in his mathematical and philosophical investigations. An autograph d…