Spread (intuitionism)
Particular kind of species infinite sequences defined via finite decidable properties / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Spread (intuitionism)?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
In intuitionistic mathematics, a spread is a particular kind of species of infinite sequences defined via finite decidable properties. Here a species is a collection, a notion similar to a classical set in that a species is determined by its members.
This article includes a list of general references, but it lacks sufficient corresponding inline citations. (June 2018) |