The following pages link to (Q5421788):
Displaying 11 items.
- Negative translations not intuitionistically equivalent to the usual ones (Q361872) (← links)
- On the creative role of axiomatics. The discovery of lattices by Schröder, Dedekind, Birkhoff, and others (Q408326) (← links)
- Delimited control operators prove double-negation shift (Q450950) (← links)
- Strategical use(s) of arithmetic in Richard Dedekind and Heinrich Weber's \textit{Theorie der algebraischen Funktionen einer Veränderlichen} (Q508123) (← links)
- Space of valuations (Q1006605) (← links)
- Glivenko theorems and negative translations in substructural predicate logics (Q1938390) (← links)
- The concept of ``character'' in Dirichlet's theorem on primes in an arithmetic progression (Q2249437) (← links)
- Varieties of mathematical understanding (Q5860471) (← links)
- In the footsteps of Julius König's paradox (Q5962966) (← links)
- Fragments of a history of the concept of ideal. Poncelet's and Chasles's reflections on generality in geometry and their impact on Kummer's work with ideal divisors (Q6604013) (← links)
- History of mathematics illuminates philosophy of mathematics: Riemann, Weierstrass and mathematical understanding (Q6623924) (← links)
