主题：【原创】随便聊聊算法、应用数学和数学 -- hokmen

# Wie man einen MMIX-Cross-Compiler hochzieht

# (OK, 04.03.2006)

# Hier wird alles hin installiert! Bitte anpassen

export MMIXHOME=/gpp

if test "$MMIXHOME" = "aendern" ; then

echo "Bitte Installationspfad anpassen!"

exit

fi

# Ueberpruefen ob g++, cweb und wget im Pfad sind

if test ! `which g++`; then echo "g++ ist nicht im Pfad!"; exit; fi

if test ! `which cweave`; then echo "cweave ist nicht im Pfad!"; exit; fi

if test ! `which wget`; then echo "wget ist nicht im Pfad!"; exit; fi

# Zutaten:

# - gcc

# - binutils

# - mmix

# - newlib

GCC=gcc-4.0.2.tar.bz2

BINUTILS=binutils-2.16.1.tar.gz

MMIX=mmix-20050922.tar.gz

NEWLIB=newlib-1.14.0.tar.gz

# Man lege ein Verzeichnis an, das den MMIX-Kram aufnehmen soll:

#

export MAKE="make"

export PATH=$MMIXHOME/bin:$PATH

mkdir -p $MMIXHOME

echo "Preparing to install MMIX tools in $MMIXHOME"

mkdir -p $MMIXHOME/bin

mkdir -p $MMIXHOME/src

cd $MMIXHOME/src

# Zuerst besorgen wir alle Pakete per wget:

#

echo ""

echo " --- Download --- "

echo "Falls das Skript beim Download abbricht, mu wahrscheinlich ein Proxy genutzt werden."

echo "Setzen sie dazu die Umgebungsvaraiblen 'http_proxy' und 'ftp_proxy'!"

echo ""

echo "Downloading $MMIX..."

#wget -q http://www-cs-faculty.stanford.edu/~knuth/programs/$MMIX || exit

echo "Downloading $BINUTILS..."

#wget -q http://ftp.gnu.org/gnu/binutils/$BINUTILS || exit

echo "Downloading $GCC..."

#wget -q http://ftp.gnu.org/gnu/gcc/gcc-4.0.2/$GCC || exit

echo "Downloading $NEWLIB..."

#wget -q ftp://sources.redhat.com/pub/newlib/$NEWLIB || exit

# Dann bauen wir die MMIX-Tools.

# Dummerweise ist das TAR-Archiv etwas ungeschickt verpackt. Daher zuerst

# ein Verzeichnis anlegen und dort auspacken, sonst hat man den ganzen Klump

# in $MMIXHOME/src liegen.

echo "Unpacking MMIX ware..."

mkdir mmix-ware

cd mmix-ware

tar zxf ../$MMIX || exit

# Dann bauen und installieren wir alle notwendigen Werkzeuge und kopieren

# sie an die richtige Stelle:

# (CWEB muss dafuer installiert und im Pfad sein!)

echo "Building MMIX ware..."

$MAKE all || exit

cp mmixal mmix mmotype mmmix $MMIXHOME/bin

# Dann bauen wir die binutils und einen Cross-GCC:

# Man packe GCC und binutils aus und lege passende

# build-Verzeichnisse jeweils daneben:

cd $MMIXHOME/src

echo "Unpacking GCC..."

tar jxf $GCC || exit

echo "Unpacking binutils..."

tar zxf $BINUTILS || exit

mkdir build-gcc build-binutils

# Man konfiguriere, baue und installiere die binutils fuer mmix:

echo "Building binutils..."

cd build-binutils

../binutils-*/configure --target=mmix --prefix=$MMIXHOME --disable-nls || exit

$MAKE all install || exit

# Man tue das selbe fuer den gcc:

echo "Building binutils..."

cd ../build-gcc

../gcc-*/configure --target=mmix --prefix=$MMIXHOME --disable-nls --enable-languages=c,c++ || exit

$MAKE all-gcc install-gcc || exit

# Dann brauchen wir noch die newlib.

# Die packen wir aus, konfigurieren und bauen sie:

cd $MMIXHOME/src

echo "Unpacking newlib..."

tar zxf $NEWLIB || exit

mkdir build-newlib

echo "Building newlib..."

cd build-newlib

../newlib*/configure --target=mmix --prefix=$MMIXHOME || exit

$MAKE all install || exit

# Fertig.

echo ""

echo ""

echo "Ready."

《数学原本》有七千多页，是有史以来最大的数学巨著。彻底追求严格性和一般性的叙述方法被称为“布尔巴基风格”。

布尔巴基对严格性的强调在当时产生了很大的影响。这与当时儒热-亨利·彭加莱所强调的数学要依靠自由想象的直觉的说法分庭抗礼。布尔巴基的影响力随时间而减弱，一个原因是由于布尔巴基的抽象并不显得比发明者原初的想法更为有用，另一个原因是因为没有包含像范畴论等重要的现代数学理论。尽管范畴论是由布尔巴基的成员艾伦堡所创立，格罗登迪克所推广的，但是如果要容纳范畴论，就不得不对已经出版的著作进行根本性的改写。

尽管布尔巴基的一部分著作在相应的领域成了标准的参考书，但是那种近于严峻的表达方式使其难以成为教科书。布尔巴基书籍的鼎盛时期是在1950和1960年之间，那时很少有适合能用于研究生水平的关于纯数学的教科书。

布尔巴基引入的记号有： \varnothing ；代表空集，黑板粗体字母表示数集（例如：\mathbb{N}表示自然数集，\mathbb{Q}表示有理数集 ，\mathbb{R}表示实数集，\mathbb{Z}表示整数集），还发明了术语“单射”、“满射”和“双射”。

布尔巴基讲座在战后立即于巴黎开设，这个讲座接连不断地公开发表了各种综述性论文，这些论文采用一种固定格式，用谨慎的风格写成。