abstractmath.org

help with abstract math

`Produced by Charles Wells.  Home    Website TOC    Blog`

Posted 13 July 2009

INDEX

You can quickly find the word you are looking for by typing control-F and then typing the word in the box that opens.  This works for Internet Explorer, Mozilla Firefox and Google Chrome.

#### A

absolute value

abstract math

abstract object

abstraction

abuse of notation

accented characters

affine

after (in discourse)

aleph

algebra

algorithm

alias

alibi

all

alphabets

ambient

analogy

and

angle bracket

anonymous notation

antisymmetric

application

approximation

arbitrary

Archimedean property

argument

of a complex number

arrow notation

article

assertion

symbolic __

explicit __

assume

assumption

asterisk

Astounding Math Stories

axiomatic method

#### B

baby example

bar

bare delimiters

barred arrow notation

base (of a logarithm)

be

before (in discourse)

behaviors

binary

--relation

--operation

black box (function as __)

blackboard bold

block (of a partition)

boldface

bound variable

boundary value (of definition)

braces

bracket

but

#### C

call

canonical structure

caron

case

category (two meanings)

character (two meanings)

check

chunking

circumflex

claim

closure properties

codomain

cognitive dissonance

co-intimidator

collective plural

colon equals

complex number

composition

of functions

of relations

comprehension, method of

condition

conditional assertion

congruence

conjunction

consequent

constraint

constructor

contain

context

context-sensitive interpretation

contrapositive

convention

converse

counterexample

covert curriculum

crisp

curly bracket

#### D

decimal representation

decreasing

default

defining condition (in setbuilder notation)

defining equation(for a function)

defining phrase (of a definition)

definiendum

definite article

definite description

definition

degenerate

delimiter

DeMorgan laws

denote

density

dependent variable

derivative

devious definition

direct method

disjoint

disjunction

distance

distinct

distributive plural

divide

doing math

domain

dummy variable

dysfunctional behaviors

#### E

-- notation

-- symbol

empty set

encapsulate

enclose

endowed

equals

equation

equipped

equivalence class

equivalence kernel of a function

equivalence relation

equivalent

establish notation

exact number

examples

exhaustion (proof by)

existence statement

existential bigamy

existential quantifier

expansive generalization

extension (of an assertion)

explicit assertion

#### F

factor

fallacy

family

field

form of proof

formal analogy

formal proof

formula

foundations of math

fraktur

free variable

function

functional

fuzzy

#### G

garden path sentence

generalization

generally

generic

give

global

glossary

glue

graph

grasshopper

Greek alphabet

grits

group

guessing

ek

hat

hypothesis

#### I

identify

identity

i.e.

if

if and only if

image

(of a function)

implication

imply

in

in general

include

inclusive or

inclusion

incomplete notation

increasing

indefinite article

indefinite description

independent variable

inequality

inert

infix notation

inhabit

injective

input

integer

integral

intent of assertion

interval

intuition

irrational numbers

irreflexive

isomorphism

italic

jump the fence

just

just in case

juxtaposition

kind

large

law

lemma

let

lg

linear

#### M

macron

map, mapping

mathematical logic

mathematical object

mathematical structure

maximize

mean

member

mental representation

metaphor

method of deduction

minimize

minus

mod

model

modulo

modus ponens

multiplication symbol

narrative proof

natural number

nearness

necessary

negation

negative

nonincreasing

nondecreasing

nonnegative

notation

number theory

#### O

obvious

one to one

only if

onto

operator

opposite (of a relation)

or

order

outfix notation

output

#### P

pairwise disjoint

parameter

parentheses

parenthetic assertion

partial function

partition

pattern recognition

permutation

Perrin function

physical representation

pointy brackets

Polish notation

polymorphic

pons asinorum

positive

postcondition

postfix notation

power

powerset

precondition

prefix notation

prime

process

product rule

proof

proper

property

proposition

purple prose

#### Q

quantifier

logical operation

quotient set

#### R

r.a.a.

rabbit out of a hat

range

ratchet effect

ratio

rational number

real line

real number

real variable

recall

reconstructive generalization

redundancy

reflexive

relation

representation

result

reverse Polish notation

revise

rewrite according to the definition

rich view

rigorous view

ring with identity

root

#### S

said to be

say

self-monitoring

semantic contamination

set

equality of sets

setbuilder notation

sign

sine-blur function

singleton set

slash

some

specification

split definition

square brackets

standardization in math

statement

stronger (for conditional statements)

structure

structural notation

subexpression

subset

subscript

substitution

subtract

such that

sufficient

suppose

suppression of parameters

surjective

symbol

symbol manipulation

symbolic assertion

symbolic expression

symbolic term

symbolic logic

#### T

table

tangent

term

TFAE

that is

the

then

there is

theorem

theory of functions

thus

tilde

total relation

transformation

transformer (function as__)

transitive

translation problem

trial and error

trigonometric functions

trivial

truth

twiddle

two

two-column format

type

typical

#### U

under

underlying set

understanding math

unit interval

unity

universal

___quantifier

universally true

unknown

unnecessarily weak assertion

unwind

unpack

up to

upper-case letter

useful behaviors

#### V

vacuously true

value (of a function)

variable

variable clash

variable object

variations in meaning

Venn diagram

#### W

well-defined

when

whenever

where

without loss of generality (WLOG)

witness

word-length function

zero

zooming