Knowledge

Abstract structure

Source 📝

84: 43: 470: 186: 269:
that is defined by a set of mathematical theorems and laws, properties and relationships in a way that is logically if not always historically independent of the structure of contingent experiences, for example, those involving physical objects. Abstract structures are studied not only in
320:. An abstract structure must include precise rules of behaviour which can be used to determine whether a candidate implementation actually matches the abstract structure in question, and it must be free from 305:
An abstract structure may be represented (perhaps with some degree of approximation) by one or more physical objects – this is called an implementation or
309:
of the abstract structure. But the abstract structure itself is defined in a way that is not dependent on the properties of any particular implementation.
204: 30:
This article is about a type of abstraction in science, mathematics, and philosophy. For the structure of an abstract (summary), see
511: 148: 120: 17: 127: 328:, but there is no room for debate over whether a given sequence of moves is or is not a valid game of chess (for example 101: 56: 545: 535: 240: 222: 167: 70: 134: 294:). Indeed, modern mathematics has been defined in a very general sense as the study of abstract structures (by the 425: 116: 105: 504: 410: 435: 291: 497: 306: 94: 62: 31: 141: 455: 266: 406: 485: 200: 530: 8: 445: 299: 401:
However historical dependencies are partially considered in event theory as part of the
540: 477: 363: 385:
is not, because its rules of grammar and syntax are open to debate and interpretation.
367: 342: 283: 382: 295: 279: 440: 378: 262: 481: 450: 349:
is not, because it depends on the properties and quantities of its ingredients.
524: 402: 357: 321: 324:. Thus we may debate how well a particular government fits the concept of 430: 275: 258: 360:
is not, because it depends on the properties of particular instruments.
287: 325: 83: 329: 313: 353: 346: 469: 371: 271: 317: 27:
Type of abstraction in science, mathematics, and philosophy
312:
An abstract structure has a richer structure than a
286:, and in the studies that reflect on them, such as 195:
may be too technical for most readers to understand
108:. Unsourced material may be challenged and removed. 370:is not, because it depends on the geology of the 522: 505: 366:is an abstract structure, but the theory of 71:Learn how and when to remove these messages 512: 498: 241:Learn how and when to remove this message 223:Learn how and when to remove this message 207:, without removing the technical details. 168:Learn how and when to remove this message 14: 523: 278:but in the fields that apply them, as 205:make it understandable to non-experts 464: 179: 106:adding citations to reliable sources 77: 36: 32:Abstract (summary) § Structure 24: 25: 557: 356:is an abstract structure, but an 52:This article has multiple issues. 468: 381:is an abstract structure, but a 345:is an abstract structure, but a 298:group: see discussion there, at 184: 82: 41: 426:Abstraction in computer science 93:needs additional citations for 60:or discuss these issues on the 395: 13: 1: 484:. You can help Knowledge by 7: 419: 335: 10: 562: 463: 436:Abstraction in mathematics 29: 292:philosophy of mathematics 265:or a set structure, or a 546:Mathematical logic stubs 536:Mathematical terminology 389: 480:-related article is a 456:Mathematical structure 431:Abstraction in general 267:hypostatic abstraction 407:Kolmogorov complexity 302:and also structure). 261:that might be of the 117:"Abstract structure" 102:improve this article 18:Mathematical systems 446:Deductive apparatus 411:Kolmogorov-Khinchin 300:algebraic structure 478:mathematical logic 364:Euclidean geometry 255:abstract structure 493: 492: 368:continental drift 343:sorting algorithm 284:computer graphics 251: 250: 243: 233: 232: 225: 178: 177: 170: 152: 75: 16:(Redirected from 553: 514: 507: 500: 472: 465: 414: 399: 383:natural language 290:(especially the 280:computer science 263:geometric spaces 246: 239: 228: 221: 217: 214: 208: 188: 187: 180: 173: 166: 162: 159: 153: 151: 110: 86: 78: 67: 45: 44: 37: 21: 561: 560: 556: 555: 554: 552: 551: 550: 521: 520: 519: 518: 461: 451:Formal sciences 441:Abstract object 422: 417: 400: 396: 392: 379:formal language 338: 247: 236: 235: 234: 229: 218: 212: 209: 201:help improve it 198: 189: 185: 174: 163: 157: 154: 111: 109: 99: 87: 46: 42: 35: 28: 23: 22: 15: 12: 11: 5: 559: 549: 548: 543: 538: 533: 517: 516: 509: 502: 494: 491: 490: 473: 459: 458: 453: 448: 443: 438: 433: 428: 421: 418: 416: 415: 393: 391: 388: 387: 386: 375: 361: 350: 337: 334: 322:contradictions 249: 248: 231: 230: 192: 190: 183: 176: 175: 90: 88: 81: 76: 50: 49: 47: 40: 26: 9: 6: 4: 3: 2: 558: 547: 544: 542: 539: 537: 534: 532: 529: 528: 526: 515: 510: 508: 503: 501: 496: 495: 489: 487: 483: 479: 474: 471: 467: 466: 462: 457: 454: 452: 449: 447: 444: 442: 439: 437: 434: 432: 429: 427: 424: 423: 412: 408: 404: 403:combinatorics 398: 394: 384: 380: 376: 373: 369: 365: 362: 359: 358:orchestration 355: 351: 348: 344: 340: 339: 333: 332:approaches). 331: 327: 323: 319: 315: 310: 308: 307:instantiation 303: 301: 297: 293: 289: 285: 281: 277: 273: 268: 264: 260: 256: 245: 242: 227: 224: 216: 206: 202: 196: 193:This article 191: 182: 181: 172: 169: 161: 158:November 2022 150: 147: 143: 140: 136: 133: 129: 126: 122: 119: –  118: 114: 113:Find sources: 107: 103: 97: 96: 91:This article 89: 85: 80: 79: 74: 72: 65: 64: 59: 58: 53: 48: 39: 38: 33: 19: 486:expanding it 475: 460: 397: 311: 304: 254: 252: 237: 219: 210: 194: 164: 155: 145: 138: 131: 124: 112: 100:Please help 95:verification 92: 68: 61: 55: 54:Please help 51: 531:Abstraction 330:Kasparovian 276:mathematics 259:abstraction 525:Categories 405:theory in 288:philosophy 128:newspapers 57:improve it 541:Structure 413:equations 352:A simple 326:democracy 213:June 2022 63:talk page 420:See also 336:Examples 296:Bourbaki 314:concept 199:Please 142:scholar 354:melody 347:recipe 316:or an 257:is an 144:  137:  130:  123:  115:  476:This 390:Notes 372:Earth 272:logic 149:JSTOR 135:books 482:stub 409:and 318:idea 282:and 274:and 121:news 253:An 203:to 104:by 527:: 377:A 341:A 66:. 513:e 506:t 499:v 488:. 374:. 244:) 238:( 226:) 220:( 215:) 211:( 197:. 171:) 165:( 160:) 156:( 146:· 139:· 132:· 125:· 98:. 73:) 69:( 34:. 20:)

Index

Mathematical systems
Abstract (summary) § Structure
improve it
talk page
Learn how and when to remove these messages

verification
improve this article
adding citations to reliable sources
"Abstract structure"
news
newspapers
books
scholar
JSTOR
Learn how and when to remove this message
help improve it
make it understandable to non-experts
Learn how and when to remove this message
Learn how and when to remove this message
abstraction
geometric spaces
hypostatic abstraction
logic
mathematics
computer science
computer graphics
philosophy
philosophy of mathematics
Bourbaki

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.