Newbetuts
.
New posts in definition
How is my understanding of $\vdash, \vDash, \to$, etc
logic
definition
Convertibility of Two Lambda Expressions Equivalent to Existence of a Common Reduct
definition
computer-science
lambda-calculus
rewriting-systems
Why associativity $h \circ (g \circ f) = (h \circ g) \circ f$ is required in composition?
category-theory
definition
function-and-relation-composition
associativity
Definition of measure-preserving: why inverse image?
definition
dynamical-systems
ergodic-theory
In CUDA, what is memory coalescing, and how is it achieved?
cuda
definition
memory-access
What is a "positive statement" in mathematical proof?
proof-writing
terminology
definition
Why not defining a measure as a function on functions?
measure-theory
probability-theory
soft-question
notation
definition
definitionS of a topological space (reference)
general-topology
reference-request
definition
Definition of injective function
functions
elementary-set-theory
definition
Why is closure omitted in some group definitions?
group-theory
definition
Can asymptotes be curved?
asymptotics
definition
analytic-geometry
Is there a name for this property of functions on groups?
group-theory
terminology
definition
average
invariance
Motivation for definition of free group?
abstract-algebra
group-theory
definition
free-groups
motivation
Why is it necessary for a ring to have multiplicative identity?
abstract-algebra
ring-theory
terminology
definition
rngs
Why countable unions, intersections etc.?
measure-theory
definition
intuition
Why are redundant scope qualifications supported by the compiler, and is it legal?
c++
scope
definition
$\sqrt 2$ is even?
definition
parity
What exactly is an arrow in a category?
category-theory
soft-question
definition
philosophy
Is there a math function to find an element in a vector?
notation
vectors
definition
Confusion over the definition of "model"
logic
definition
propositional-calculus
model-theory
Prev
Next