Struktur abstrak: Perbedaan antara revisi

Salah satu cara memperkenalkan konsep himpunan semua bilangan asli sebagai sebuah struktur abstrak adalah melalui [[aksioma Peano]] (sebagai ilustrasi, lihat [http://planetmath.org/encyclopedia/PeanoArithmetic.html]).

 

Sekitar tahun 325–265 sebelum [[Masehi]], [[Euklid]] dari [[Elexandria]] dalam ''Elements'' sudah mendefinisikan konsep abstrak 'bidang datar' melalui lima aksioma (ditulis sedekat mungkin dengan konsep aslinya) sebagai berikut:

# Dua titik sembarang selalu berada dalam sebuah garis lurus.

''R''(1,3), digunakan oleh pesawat ruang angkasa Mariner untuk mengirim data ke bumi (http://www.ams.org/featurecolumn/ archive/errors6.html). Konsep kode Reed-Muller sangat erat berkaitan dengan konsep [[Geometri Euklid]] berdimensi ''m'' yang ekuivalen dengan konsep [[Geometri Projektif]] berdimensi ''m''.

 

Struktur abstrak dikatakan bersifat [[umum]] atau [[universal]] sebab struktur abstrak bebas (tak tergantung) dari berbagai fenomena yg secara fisik bisa berbeda-beda, walaupun dari sekian banyak fenomena fisik ini, hanya satu-dua fenomena fisik yang mengilhami struktur abstrak tersebut. Misalnya, fenomena fisik daratan atau meja datar mungkin saja mengilhami konsep bidang datar oleh [[Euklid]].