abstractmath.org

help with abstract math

Produced by Charles Wells.  Site Table of Contents   Home  

Posted 13 August 2008

 

INDEX


 

 

A

a, an                                       

absolute value

abstract math

abstract object

abstraction

abuse of notation

accented characters

after (in discourse)

aleph

algebra

algorithm

alias

all

alphabets

ambient

analogy

and

       conjunction

       English word

angle bracket

antecedent

antimetaphorism

antisymmetric

application

approximation

      of real numbers 

arbitrary

Archimedean property

argument

     of a complex number

     input to a function

arrow notation

article

    definite

    indefinite

assertion

     explicit __

assume

assumption

Astounding Math Stories

axiomatic method

 

B

bar

     __notation for decimals

bare delimiters

base (of a logarithm)

be

before (in discourse)

behaviors

binary relation

blackboard bold

block (of a partition)

boldface

bound variable

boundary value (of definition)

braces

bracket

but

 

C

call

canonical structure

caron

case

      -- (of letters)

       

      proof by --

cases, definition by

category (two meanings)

check

chunking

claim

closure properties

     of the natural numbers

     of the integers

     of the rational numbers

codomain   

cognitive dissonance

co-intimidator

complex number

composition

     of functions

     of relations

comprehension, method of

conceptual
conclusion

condition

conditional assertion

conjunction

consequent

constraint

constructor

contain

     (two meanings)

context

context-sensitive interpretation

contradiction

contrapositive

     __method

convention

converse

counterexample

covert curriculum

crisp

curly bracket

 

D

decimal representation

     of the rational numbers

     of the real numbers

decreasing

default

defining condition (in setbuilder notation)

defining expression (for a function)

defining phrase (of a definition)

definiendum

definite article

definite description

definition

     (role)

     (intent of assertion)

degenerate

delimiter

DeMorgan laws

denote

density

     of the rational numbers

     of the real numbers

dependent variable

derivative

devious definition

direct method

disjoint

disjunction

distance

     between numbers

distinct

divide

doing math

domain

     __of a function

     (two meanings)

dummy variable

dyadic relation

dysfunctional behaviors

 

 

 

E

element

     -- notation

     -- symbol      

empty set

encapsulate

enclose

endowed

equals

equation

equipped

equivalence class

equivalence relation

equivalent

     (in logic)

     (by an equivalence relation)

establish notation

exact number

examples

exhaustion (proof by)

existence assertion

existential bigamy

existential quantifier

expansive generalization

extension (of an assertion)

explicit assertion

 

 

F

factor

fallacy

family

     (two meanings)

field

     (two meanings)

form of proof

formal analogy

formal proof

formula

     (two meanings)

     (for a function)

foundations of math

fraktur

free variable

function

functional

     __property

fuzzy

 

G

garden path sentence

generalization

generally

generic

give

global

glossary

glue

graph

     -- of a function

     -- of a relation

     (two meanings)

grasshopper

Greek alphabet

grits

group

guessing

 

H

ek

home page

hypothesis

 

I

I (two meanings)

identify

identity

     (two meanings)

     __function

i.e.

if

    (usage)

    (conditional)

if and only if

image

     (of a function)

     (mental representation)

implication

imply

in

in general

in your own words

include

inclusive or

inclusion

incomplete notation

increasing

indefinite article

indefinite description

independent variable

inequality

inert

infix notation

   for functions

   for binary relations

inhabit

injective

input

integer

integral

intent of assertion

interval

intuition

irrational numbers

irreflexive

isomorphism

 

J

jump the fence

just

just in case

juxtaposition

 

K

kind

 

L

large

 

lemma

let

lg

links to math sites

list

     as function on its index set

list notation (for sets)

literalism

lives in

ln

logarithm

logical construction

look ahead

lower-case letter

lowest terms

 

M

map, mapping

mathematical logic

mathematical object

mathematical structure

maximize

mean

member

mental representation

metaphor

method addiction 

method of deduction

minimize

minus

mod

model

modulo

modus ponens

multivalued function

must

 

N

namely

narrative proof

natural number

nearness

necessary

negation

negative

nonincreasing

nondecreasing

nonnegative

notation

number theory

O

obvious

one to one

only if

onto

opposite (of a relation)

or

     (disjunction)

     (English word)

order

     (two meanings)

outfix notation

output

overloaded

 

P

pairwise disjoint

parameter

parentheses

parenthetic assertion

partial function

partition

     (different meanings)

     -- of a set

pattern recognition

permutation

     (two meanings)

Perrin function

physical representation

pointy brackets

Polish notation

polymorphic

pons asinorum

positive

      (two meanings)

postfix notation

power

precondition

prefix notation

process

proof

      -- by contradiction

      -- by example

      narrative --

        

      structure of --

proper

property

proposition

purple prose

 

Q

quantifier

      logical operation

      symbol

quantity

quotient set

      -- of an equivalence relation

 

 

R

r.a.a.

rabbit out of a hat

range

     (two meanings)

ratchet effect

ratio

rational number

real line

real number

real variable

recall

reconstructive generalization

redundancy

reflexive

relation

representation

     of natural numbers

result

reverse Polish notation

revise

rewrite according to the definition

rich view

rigorous view

root

Russell’s Paradox

 

S

said to be

say

scope

    of an assumption

    of a definition

self-monitoring

semantic contamination

set

    equality of sets

          definition

          method

    specification for sets

setbuilder notation

sign

sine-blur function

singleton set

specification

split definition

square brackets

standardization in math

structure

subexpression

subset

subscript

substitution

subtract

such that

sufficient

suppose

suppression of parameters

surjective

symbol manipulation

 

symbolic assertion

symbolic expression

symbolic term

symbolic logic

synecdoche

 

T

table

    (function)

    (relation)

tangent

term

    part of a sum   

    multiple meanings

TFAE

that is

the

then

theorem

theory of functions

thus

total relation

transitive

translation problem

trial and error

trigonometric functions

trivial

truth

    _ set

    _ table

    _ value

two

two-column format

type

    _labeling

 

U

under

underlying set

understanding math

unnecessarily weak assertion

unique

    -- misuse of

uniqueness theorem

unit interval 

universal

    ___generalization

    ___instantiation

    ___quantifier

universally true

      assertion

      conditional

unknown

unwind

unpack

up to

upper-case letter

useful behaviors

     -- in doing proofs

 

 

V

vacuously true

value

variable

variable clash

variable object

Venn diagram

 

W

walking blindfolded

well-defined

when

where

without loss of generality (WLOG)

witness

word-length function

 

X

 

Y

 

Z

zooming