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

a, an                                       

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

       conjunction

       English word

angle bracket

anonymous notation

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

     symbolic __

     explicit __

assume

assumption

asterisk

Astounding Math Stories

axiomatic method

 

B

baby example

bar

     __notation for decimals

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

     (word)

     (symbol)

but

 

C

call

canonical structure

caron

case

      -- (of letters)

       

      proof by --

cases, definition by

category (two meanings)

character (two meanings)

check

chunking

circumflex

claim

closure properties

     of the natural numbers

     of the integers

     of the rational numbers

codomain   

cognitive dissonance

co-intimidator

collective plural

colon equals

complex number

composition

     of functions

     of relations

     of symmetries

comprehension, method of

conceptual
conclusion

condition

conditional assertion

congruence

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 equation(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

distributive plural

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 kernel of a function

equivalence relation

equivalent

     (in logic)

     (by an equivalence relation)

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

     (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

hat

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

italic

 

J

jump the fence

just

just in case

juxtaposition

 

K

kind

 

L

large

law

lemma

let

lg

linear

links to math sites

list

     as function on its index set

list notation (for sets)

literalism

lives in

ln

logarithm

logic

logical construction

look ahead

lower-case letter

lowest terms

 

 

M

macron

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

multiplication symbol

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

operator

opposite (of a relation)

or

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)

postcondition

postfix notation

power

powerset

precondition

prefix notation

prime

process

product rule

proof

      -- by contradiction

      -- by example

      narrative --

        

      structure of --

proper

property

proposition

purple prose

 

Q

quadratic formula

quantifier

      logical operation

      symbol

quantity

quotient set

      -- of an equivalence relation

      -- of a function

 

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

ring with identity

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

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

symbolic statement

symmetry

synecdoche

 

T

table

    (function)

    (relation)

tangent

term

    part of a sum   

    multiple meanings

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

    _ set

    _ table

    _ value

twiddle

two

two-column format

type

    _labeling

typical

 

U

under

underlying set

understanding math

unique

    -- misuse of

uniqueness theorem

unit

unit interval  

unity

universal

    ___generalization

    ___instantiation

    ___quantifier

universally true

      assertion

      conditional

unknown

unnecessarily weak assertion

unwind

unpack

up to

upper-case letter

useful behaviors

     -- in doing proofs

 

V

vacuously true

value (of a function)

variable

variable clash

variable object

variations in meaning

Venn diagram

 

W

walking blindfolded

well-defined

when

whenever

where

without loss of generality (WLOG)

witness

word-length function

 

X

 

Y

 

Z

zero

zooming