![]() |
![]() |
Apartness in constructive domain theoryAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Anupam Das. An apartness relation is a constructive strengthening, or positive formulation, of inequality. It is similar to the constructive distinction between nonempty (X ≠ ∅) and inhabited (∃ x ∈ X) sets. I will describe an apartness for continuous directed complete posets (domains) and explore its properties, focussing on intuitions and examples. === Zoom details === https://bham-ac-uk.zoom.us/j/81873335084?pwd=T1NaUFg2U1l6d0RLL2RlTzFBam1IUT09 Meeting ID: 818 7333 5084 Passcode: 217 This talk is part of the Lab Lunch series. This talk is included in these lists:Note that ex-directory lists are not shown. |
Other listsCombinatorics and Probability seminar computer sience What's on in Physics?Other talksIntegral equation methods for acoustic scattering by fractals My conjectures in spectral graph theory TBA TBA TBA The Holographic Universe |