Anonymous

Not logged in

  • Create account
  • Log in
HandWiki

Help

Category:Constructivism (mathematics)

From HandWiki

Namespaces

  • Category
  • Discussion

More

  • More
  • Languages

Page actions

  • Read
  • View source
  • History
  • ZWI Export

Computing portal

Here is a list of articles in the category Constructivism (mathematics) of the Computing portal that unifies foundations of mathematics and computations using computers.

Subcategories

This category has only the following subcategory.

C

  • Computable analysis (9 P)

Pages in category "Constructivism (mathematics)"

The following 33 pages are in this category, out of 33 total.

A

  • Apartness relation

B

  • Bar induction
  • Brouwer–Heyting–Kolmogorov interpretation
  • Brouwer–Hilbert controversy

C

  • Choice sequence
  • Church's thesis (constructive mathematics)
  • Computable model theory
  • Construction of the real numbers
  • Constructive logic
  • Constructive nonstandard analysis
  • Constructive proof

D

  • Diaconescu's theorem
  • Disjunction and existence properties

F

  • Finitism
  • Finitist set theory

H

  • Harrop formula
  • Heyting arithmetic
  • Heyting field

I

  • Indecomposability
  • Indecomposability (intuitionistic logic)
  • Inhabited set
  • Intuitionism
  • Intuitionistic type theory

K

  • Kőnig's lemma

L

  • Limited principle of omniscience

M

  • Markov's principle
  • Modulus of continuity
  • Modulus of convergence

N

  • Non-constructive algorithm existence proofs

P

  • Primitive recursive arithmetic
  • Pseudo-order

S

  • Subcountability

U

  • Ultrafinitism
Retrieved from "https://handwiki.org/wiki/index.php?title=Category:Constructivism_(mathematics)&oldid=513616"
Categories:
  • Constructivism
  • Mathematical logic
  • Theories of deduction
Encyclopedia of Knowledge
Main page Data analysis Mathematics
 Natural Sciences Astronomy & Space Biology Computer concepts Chemistry Physics Earth studies Unsolved problems
 Humanities Medicine History Philosophy Social studies Religion Art
 Technology & Finance Engineering & Tech Software programs Finance & Business
Biographies Organizations Companies Places
Books Monographs Tutorials Manuals

Navigation

Navigation

  • Add a new article
  • Search in topics
  • Search services
  • Search in categories
  • Search using prefix

Resources

  • About HandWiki
  • Curated articles
  • Support
  • FAQs
  • Donate

Help

  • How to edit
  • Citation manager
  • Formatting articles
  • List of categories
  • Recent pages
  • Recent changes
  • Random page

googletranslator

    Navigation

    • Special pages

    Wiki tools

    Wiki tools

      Page tools

      Page tools

        User page tools

          More

          • What links here
          • Related changes
          • Printable version
          • Permanent link
          • Page information
          • Page logs

          Other projects

          In other languages

            Add links

            In other projects

              Categories

              Categories

              • Constructivism
              • Mathematical logic
              • Theories of deduction
              You see the box below because you did not login
              • Powered by MediaWikiSupported by KMF
              • This page was last edited on 27 August 2021, at 23:36.
              • Privacy policy
              • About HandWiki
              • Disclaimers
              • Copyright
              • Contact