title: Triết học toán học

text:
Triết học toán học là nhánh của triết học nghiên cứu các giả định, nền tảng và ý nghĩa của toán học, và các mục đích để đưa ra quan điểm về bản chất và phương pháp toán học, và để hiểu vị trí của toán học trong cuộc sống của mọi người. Bản chất logic và cấu trúc của toán học làm cho nghiên cứu này vừa rộng rãi vừa độc đáo giữa các đối tác triết học của nó.

Chủ đề thường xuyên
Các chủ đề thường xuyên bao gồm:

 Vai trò của loài người trong việc phát triển toán học là gì?
 Các nguồn của vấn đề toán học là gì?
 Tình trạng bản thể học của các thực thể toán học là gì?
 Nó có nghĩa gì khi đề cập đến một đối tượng toán học ?
 Các đặc tính của một định lý toán học là gì?
 Mối quan hệ giữa logic và toán học là gì?
 Vai trò của thông diễn học trong toán học là gì?
 Những kiểu tìm tòi nào đóng một vai trò trong toán học?
 Các mục tiêu của việc tìm tòi toán học là gì?
 Điều gì mang lại kinh nghiệm trong toán học?
 Các đặc điểm của con người đằng sau toán học là gì?
 Vẻ đẹp của toán học là gì?
 Nguồn gốc và bản chất của sự thật trong toán học là gì?
 Mối quan hệ giữa thế giới trừu tượng của toán học và vũ trụ vật chất là gì?

Lịch sử
Nguồn gốc của toán học là đối tượng để tranh luận. Cho dù sự ra đời của toán học là ngẫu nhiên xảy ra hay gây ra bởi sự cần thiết phải phụ thuộc vào các môn học khác, ví dụ như vật lý, vẫn là một vấn đề tranh luận sôi nổi.

Nhiều nhà tư tưởng đã đóng góp ý tưởng của họ liên quan đến bản chất của toán học. Hôm nay, một số  nhà triết học toán học nhằm đưa ra các tài khoản của hình thức điều tra này và các sản phẩm của nó khi họ đứng, trong khi những người khác nhấn mạnh vai trò của chính họ vượt xa sự giải thích đơn giản để phân tích phê phán. Có những truyền thống về triết học toán học trong cả triết học phương Tây và triết học phương Đông. Các triết học phương Tây về toán học đã lùi xa như Pythagoras, người đã mô tả lý thuyết "mọi thứ đều là toán học" (toán học), Plato, người đã diễn giải Pythagoras, và nghiên cứu trạng thái bản thể của các đối tượng toán học và Aristotle, người đã nghiên cứu logic và các vấn đề liên quan đến vô hạn (thực tế so với tiềm năng).

Triết học Hy Lạp về toán học bị ảnh hưởng mạnh mẽ bởi nghiên cứu của họ về hình học. Chẳng hạn, tại một thời điểm, người Hy Lạp cho rằng 1 (một) không phải là một con số, mà là một đơn vị có độ dài tùy ý. Một số được định nghĩa là vô số. Do đó, 3, ví dụ, đại diện cho vô số đơn vị nhất định, và do đó không "thực sự" là một con số. Tại một điểm khác, một lập luận tương tự đã được đưa ra rằng 2 không phải là một số mà là một khái niệm cơ bản của một cặp. Những quan điểm này xuất phát từ quan điểm hình học thẳng góc cạnh và hình học của người Hy Lạp: giống như các đường được vẽ trong một vấn đề hình học được đo theo tỷ lệ với đường được vẽ tùy ý đầu tiên, do đó, các số trên một dòng số được đo theo tỷ lệ đến "số" đầu tiên hoặc "một" tùy ý.

Những ý tưởng về các con số Hy Lạp trước đó đã được củng cố bằng việc phát hiện ra sự bất hợp lý của căn bậc hai của hai. Hippasus, một môn đệ của Pythagoras, đã chỉ ra rằng đường chéo của hình vuông đơn vị là không thể so sánh được với cạnh (đơn vị chiều dài) của nó: nói cách khác, ông đã chứng minh rằng không có con số (hợp lý) nào mô tả chính xác tỷ lệ của đường chéo vuông với cạnh của nó. Điều này gây ra một đánh giá lại đáng kể về triết học toán học Hy Lạp. Theo truyền thuyết, những đồng bào theo Pythagore đã bị tổn thương nặng nề bởi phát hiện này đến nỗi họ đã sát hại Hippasus để ngăn anh ta truyền bá ý tưởng lạc giáo của mình. Simon Stevin là một trong những người đầu tiên ở châu Âu thách thức các ý tưởng của Hy Lạp vào ngày 16   thế kỷ. Bắt đầu với Leibniz, trọng tâm chuyển mạnh mẽ sang mối quan hệ giữa toán học và logic. Viễn cảnh này thống trị triết học toán học qua thời Frege và Russell, nhưng đã bị đặt câu hỏi bởi những phát triển vào cuối thế kỷ 19 và đầu thế kỷ 20.

Triết học đương đại
Một vấn đề lâu năm trong triết học toán học liên quan đến mối quan hệ giữa logic và toán học tại các nền tảng chung của họ. Trong khi các nhà triết học thế kỷ 20 tiếp tục đặt câu hỏi được đề cập ở đầu bài viết này, thì triết học toán học trong thế kỷ 20 được đặc trưng bởi sự quan tâm chủ yếu đến logic hình thức, lý thuyết tập hợp và các vấn đề cơ bản.

Đó là một câu đố sâu sắc rằng một mặt sự thật toán học dường như có một sự tất yếu hấp dẫn, nhưng mặt khác, nguồn gốc của "tính trung thực" của chúng vẫn còn khó nắm bắt. Điều tra về vấn đề này được gọi là nền tảng của chương trình toán học.

Vào đầu thế kỷ 20, các nhà triết học toán học đã bắt đầu phân chia thành nhiều trường phái tư tưởng khác nhau về tất cả những câu hỏi này, được phân biệt rộng rãi bằng hình ảnh của họ về nhận thức luận và bản thể học toán học. Ba trường phái, chủ nghĩa hình thức, trực giác và logic, xuất hiện vào thời điểm này, một phần để đáp lại sự lo lắng ngày càng lan rộng mà toán học đứng vững, và đặc biệt là phân tích, không tuân theo các tiêu chuẩn về sự chắc chắn và nghiêm ngặt đã được đưa ra được coi là đương nhiên. Mỗi trường giải quyết các vấn đề nổi bật tại thời điểm đó, hoặc cố gắng giải quyết chúng hoặc cho rằng toán học không được hưởng trạng thái như kiến thức đáng tin cậy nhất của chúng ta.

Những phát triển đáng ngạc nhiên và phản trực giác trong logic hình thức và đặt lý thuyết vào đầu ngày 20   thế kỷ dẫn đến những câu hỏi mới liên quan đến những gì được gọi là nền tảng của toán học. Khi thế kỷ mở ra, trọng tâm ban đầu của mối quan tâm đã mở rộng sang một khám phá mở về các tiên đề cơ bản của toán học, phương pháp tiên đề đã được áp dụng kể từ thời Euclid khoảng 300 TCN là cơ sở tự nhiên cho toán học. Các khái niệm tiên đề, mệnh đề và chứng minh, cũng như khái niệm mệnh đề là đúng với một đối tượng toán học, đã được chính thức hóa, cho phép chúng được xử lý bằng toán học. Các tiên đề của Zermelo-Fraenkel cho lý thuyết tập hợp đã được xây dựng trong đó cung cấp một khung khái niệm trong đó nhiều diễn ngôn toán học sẽ được diễn giải. Trong toán học, cũng như trong vật lý, những ý tưởng mới và bất ngờ đã nảy sinh và những thay đổi đáng kể đang đến. Với cách đánh số của Godel, các mệnh đề có thể được hiểu là đề cập đến chính chúng hoặc các mệnh đề khác, cho phép tìm hiểu về tính nhất quán của các lý thuyết toán học. Phê bình phản xạ này, trong đó lý thuyết đang xem xét "trở thành bản thân đối tượng của một nghiên cứu toán học" dẫn đến việc Hilbert gọi nghiên cứu như vậy là metamathematics hoặc lý thuyết chứng minh.

Vào giữa thế kỷ, một lý thuyết toán học mới được tạo ra bởi Samuel Eilenberg và Saunders Mac Lane, được gọi là lý thuyết phạm trù, và nó trở thành một ứng cử viên mới cho ngôn ngữ tự nhiên của tư duy toán học. Như ngày 20   Tuy nhiên, thế kỷ đã tiến triển, các ý kiến triết học chuyển hướng sang việc các câu hỏi về nền tảng được nêu ra từ đầu thế kỷ được đặt ra như thế nào. Hilary Putnam đã tóm tắt một quan điểm chung về tình hình vào thứ ba cuối cùng của thế kỷ bằng cách nói:  Khi triết lý phát hiện ra điều gì đó sai trái với khoa học, đôi khi khoa học có được changed- nghịch lý Russell nói đến cái tâm, cũng như Berkeley tấn công 's trên thực tế vô cùng -Nhưng thường xuyên hơn nó được triết lý đó phải được thay đổi. Tôi không nghĩ rằng những khó khăn mà triết học tìm thấy với toán học cổ điển ngày nay là những khó khăn thực sự; và tôi nghĩ rằng những diễn giải triết học về toán học mà chúng ta đang được cung cấp trên mỗi bàn tay là sai, và "giải thích triết học" chỉ là những gì toán học không cần.   Triết học toán học ngày nay tiến hành theo nhiều dòng nghiên cứu khác nhau, bởi các nhà triết học toán học, logic và toán học, và có nhiều trường phái tư tưởng về chủ đề này. Các trường được giải quyết riêng trong phần tiếp theo, và giả định của họ được giải thích.

Các chủ đề chính

Hiện thực toán học
Chủ nghĩa hiện thực toán học, giống như chủ nghĩa hiện thực nói chung, cho rằng các thực thể toán học tồn tại độc lập với tâm trí con người. Do đó, con người không phát minh ra toán học mà chỉ khám phá ra nó, và bất kỳ sinh vật thông minh nào khác trong vũ trụ có lẽ cũng sẽ làm như vậy. Theo quan điểm này, thực sự có một loại toán học có thể được khám phá; ví dụ, hình tam giác là những thực thể thực sự, không phải là sáng tạo của tâm trí con người.

Nhiều nhà toán học làm việc đã là những nhà hiện thực toán học; họ thấy mình là người phát hiện ra các vật thể tự nhiên. Ví dụ bao gồm Paul Erdős và Kurt Gödel. Gôdel tin vào một thực tế toán học khách quan có thể được nhận thức theo cách tương tự như nhận thức. Một số nguyên tắc (ví dụ, đối với bất kỳ hai đối tượng nào, có một tập hợp các đối tượng bao gồm chính xác hai đối tượng đó) có thể được xem trực tiếp là đúng, nhưng giả thuyết liên tục có thể chứng minh không thể xác định được chỉ dựa trên các nguyên tắc đó. Gödel đề xuất rằng phương pháp bán thực nghiệm có thể được sử dụng để cung cấp đủ bằng chứng để có thể giả định một cách hợp lý một phỏng đoán như vậy.

Trong chủ nghĩa hiện thực, có những sự phân biệt tùy thuộc vào loại tồn tại mà người ta cần có các thực thể toán học để có và cách chúng ta biết về chúng. Các hình thức chính của chủ nghĩa hiện thực toán học bao gồm Platonism.

Toán học chống hiện thực
Toán học chống hiện thực nói chung cho rằng các phát biểu toán học có giá trị thật, nhưng chúng không làm như vậy bằng cách tương ứng với một lĩnh vực đặc biệt của các thực thể phi vật chất hoặc phi thực nghiệm. Các hình thức chính của chủ nghĩa chống hiện thực toán học bao gồm chủ nghĩa hình thức và chủ nghĩa hư cấu.

Trường phái tư tưởng đương đại

Chủ nghĩa Platon
Chủ nghĩa Platon toán học là hình thức của chủ nghĩa hiện thực cho thấy các thực thể toán học là trừu tượng, không có thuộc tính không gian hoặc nhân quả, và là vĩnh cửu và không thay đổi. Điều này thường được tuyên bố là quan điểm mà hầu hết mọi người có số. Thuật ngữ nghĩa Platon được sử dụng vì một quan điểm như vậy được xem là song song với Plato 's lý thuyết hình thức và 'World of Ideas'(tiếng Hy Lạp: eidos (εἶδος)) được mô tả trong Plato phúng dụ chiếc hang: thế giới hàng ngày chỉ có thể không hoàn hảo xấp xỉ một không thay đổi, hiện thực tối thượng. Cả hang động và Platon của Plato đều có ý nghĩa, không chỉ là những mối liên hệ hời hợt, bởi vì những ý tưởng của Plato đã có trước và có thể bị ảnh hưởng bởi Pythagore vốn rất nổi tiếng thời Hy Lạp cổ đại, người tin rằng thế giới, hoàn toàn theo nghĩa đen, được tạo ra bởi những con số.

Một câu hỏi lớn được xem xét trong chủ nghĩa Platon toán học là: Chính xác thì các thực thể toán học tồn tại ở đâu và làm thế nào để chúng ta biết về chúng? Có một thế giới, hoàn toàn tách biệt với thế giới vật lý của chúng ta, bị chiếm giữ bởi các thực thể toán học? Làm thế nào chúng ta có thể truy cập vào thế giới riêng biệt này và khám phá sự thật về các thực thể? Một câu trả lời được đề xuất là Ultimate Consemble, một lý thuyết cho rằng tất cả các cấu trúc tồn tại về mặt toán học cũng tồn tại vật lý trong vũ trụ của chính chúng.

Chủ nghĩa Platon của Kurt Gödel  định một loại trực giác toán học đặc biệt cho phép chúng ta nhận thức trực tiếp các đối tượng toán học. (Quan điểm này giống với nhiều điều Husserl nói về toán học, và ủng hộ ý tưởng của Kant rằng toán học là tổng hợp của một tiên nghiệm.) Davis và Hersh đã đề xuất trong cuốn sách Kinh nghiệm toán học năm 1999 của họ rằng hầu hết các nhà toán học hành động như thể họ là người theo chủ nghĩa Platon, mặc dù, nếu bị ép phải bảo vệ vị trí một cách cẩn thận, họ có thể rút lui về chủ nghĩa hình thức.

Platonism đầy đủ là một biến thể hiện đại của Platonism, phản ứng với thực tế là các tập hợp toán học khác nhau có thể được chứng minh tồn tại tùy thuộc vào các tiên đề và quy tắc suy luận được sử dụng (ví dụ, luật của trung gian bị loại trừ và tiên đề của sự lựa chọn). Nó cho rằng tất cả các thực thể toán học tồn tại, tuy nhiên chúng có thể chứng minh được, ngay cả khi chúng không thể xuất phát từ một tập tiên đề nhất quán duy nhất.

Chủ nghĩa hiện thực theo lý thuyết tập hợp (cũng là chủ nghĩa Platon theo lý thuyết tập hợp)  một vị trí được bảo vệ bởi Penelope Maddy, là quan điểm cho rằng lý thuyết tập hợp là về một vũ trụ tập hợp. Vị trí này (còn được gọi là Platonism nhập tịch vì nó là phiên bản nhập tịch của Platonism toán học) đã bị Mark Balaguer chỉ trích trên cơ sở vấn đề nhận thức luận của Paul Benacerraf. Một quan điểm tương tự, được gọi là chủ nghĩa tự nhiên Platonized, sau đó được bảo vệ bởi Trường Stanford Stanford Edmonton: theo quan điểm này, một loại Platonism truyền thống hơn phù hợp với chủ nghĩa tự nhiên; loại Platonism truyền thống hơn mà họ bảo vệ được phân biệt bởi các nguyên tắc chung khẳng định sự tồn tại của các đối tượng trừu tượng.

Chủ nghĩa toán học
Giả thuyết vũ trụ toán học (hay toán học) của Max Tegmark đi xa hơn Platonism khi khẳng định rằng không chỉ tất cả các đối tượng toán học tồn tại, mà còn không có gì khác. Định đề duy nhất của Tegmark là: Tất cả các cấu trúc tồn tại về mặt toán học cũng tồn tại về mặt vật lý. Đó là, theo nghĩa là "trong những [thế giới] đó đủ phức tạp để chứa các cấu trúc tự nhận thức [chúng] sẽ nhận thức một cách chủ quan về bản thân như tồn tại trong một thế giới 'thực'.

Chủ nghĩa logic
Logic học là luận điểm cho rằng toán học có khả năng giảm logic, và do đó không có gì ngoài một phần của logic.  Các nhà logic học cho rằng toán học có thể được biết đến như một tiên nghiệm, nhưng cho rằng kiến thức toán học của chúng ta chỉ là một phần của kiến thức logic nói chung, và do đó là phân tích, không đòi hỏi bất kỳ giảng viên trực giác toán học đặc biệt nào. Theo quan điểm này, logic là nền tảng đúng đắn của toán học, và tất cả các phát biểu toán học là những sự thật logic cần thiết.

Rudolf Carnap (1931) trình bày luận điểm logic trong hai phần:

 Các khái niệm toán học có thể được bắt nguồn từ các khái niệm logic thông qua các định nghĩa rõ ràng.
 Các định lý của toán học có thể được bắt nguồn từ các tiên đề logic thông qua suy luận logic thuần túy.

Gottlob Frege là người sáng lập ra chủ nghiã logic. Trong bán kết Die Grundgesetze der Arithmetik (Luật cơ bản của số học), ông đã xây dựng số học từ một hệ thống logic với một nguyên tắc hiểu biết chung, mà ông gọi là "Luật cơ bản V" (đối với các khái niệm F và G, phần mở rộng của F bằng mở rộng G khi và chỉ khi cho tất cả các đối tượng a, Fa bằng Ga), một nguyên tắc mà anh ta đã chấp nhận để trở thành một phần của logic.

Xây dựng của Frege là thiếu sót. Russell phát hiện ra rằng Luật cơ bản V không nhất quán (đây là nghịch lý của Russell). Frege đã từ bỏ chương trình logic của mình ngay sau đó, nhưng nó vẫn được tiếp tục bởi Russell và Whitehead. Họ gán cho nghịch lý là "vòng tròn luẩn quẩn" và xây dựng cái mà họ gọi là lý thuyết kiểu phân nhánh để đối phó với nó. Trong hệ thống này, cuối cùng họ đã có thể xây dựng nhiều toán học hiện đại nhưng ở dạng biến đổi và phức tạp quá mức (ví dụ, có mỗi số tự nhiên khác nhau trong mỗi loại và có vô số loại). Họ cũng đã phải thực hiện một số thỏa hiệp để phát triển rất nhiều toán học, chẳng hạn như " tiên đề của tính khử ". Ngay cả Russell cũng nói rằng tiên đề này không thực sự thuộc về logic.

Các nhà logic học hiện đại (như Bob Hale, Crispin Wright, và có lẽ những người khác) đã quay trở lại một chương trình gần hơn với Frege. Họ đã từ bỏ Luật cơ bản V để ủng hộ các nguyên tắc trừu tượng hóa như nguyên tắc của Hume (số lượng đối tượng thuộc khái niệm F bằng với số lượng đối tượng thuộc khái niệm G khi và chỉ khi mở rộng F và mở rộng G đưa vào tương ứng một-một). Frege yêu cầu Luật cơ bản V để có thể đưa ra định nghĩa rõ ràng về các con số, nhưng tất cả các thuộc tính của số có thể được lấy từ nguyên tắc của Hume. Điều này sẽ không đủ cho Frege bởi vì (để diễn giải anh ta) không loại trừ khả năng số 3 thực tế là Julius Caesar. Ngoài ra, nhiều nguyên tắc suy yếu mà họ đã phải áp dụng để thay thế Luật cơ bản V dường như không còn quá rõ ràng để phân tích, và do đó hoàn toàn hợp lý.

Chủ nghĩa hình thức
Chủ nghĩa hình thức cho rằng các phát biểu toán học có thể được coi là tuyên bố về hậu quả của các quy tắc thao tác chuỗi nhất định. Ví dụ, trong "trò chơi" hình học Euclide (được xem là bao gồm một số chuỗi gọi là "tiên đề" và một số "quy tắc suy luận" để tạo ra các chuỗi mới từ các chuỗi đã cho), người ta có thể chứng minh rằng định lý Pythagore giữ (nghĩa là, người ta có thể tạo ra chuỗi tương ứng với định lý Pythagore). Theo chủ nghĩa hình thức, các sự thật toán học không phải là về các con số và tập hợp và hình tam giác và giống như trên thực tế, chúng không "nói về" bất cứ điều gì cả.

Một phiên bản khác của chủ nghĩa hình thức thường được gọi là chủ nghĩa khấu trừ. Trong suy luận, định lý Pythagore không phải là một sự thật tuyệt đối, mà là một quan hệ tương đối: nếu người ta gán nghĩa cho các chuỗi theo cách các quy tắc của trò chơi trở thành đúng (nghĩa là các phát biểu đúng được gán cho các tiên đề và quy tắc suy luận là bảo tồn sự thật), sau đó người ta phải chấp nhận định lý, hay nói đúng hơn, cách giải thích người ta đã đưa ra nó phải là một tuyên bố đúng. Điều tương tự cũng được tổ chức là đúng với tất cả các báo cáo toán học khác. Do đó, chủ nghĩa hình thức không có nghĩa là toán học không là gì ngoài một trò chơi tượng trưng vô nghĩa. Người ta thường hy vọng rằng có tồn tại một số giải thích trong đó các quy tắc của trò chơi giữ. (So sánh vị trí này với chủ nghĩa cấu trúc.) Nhưng nó cho phép nhà toán học làm việc tiếp tục công việc của mình và để lại những vấn đề như vậy cho nhà triết học hoặc nhà khoa học. Nhiều nhà chính thức sẽ nói rằng trong thực tế, các hệ tiên đề được nghiên cứu sẽ được đề xuất bởi các yêu cầu của khoa học hoặc các lĩnh vực khác của toán học.

Một người đề xướng sớm của chủ nghĩa hình thức là David Hilbert, người có chương trình dự định là một tiên đề hoàn chỉnh và nhất quán của tất cả các toán học. Hilbert nhằm mục đích cho thấy tính nhất quán của các hệ thống toán học từ giả định rằng "số học tài chính" (một hệ thống con của số học thông thường của các số nguyên dương, được chọn là không gây tranh cãi về mặt triết học) là nhất quán. Các mục tiêu của Hilbert trong việc tạo ra một hệ thống toán học vừa hoàn chỉnh vừa nhất quán đã bị làm suy yếu nghiêm trọng bởi các định lý bất toàn thứ hai của Gôdel, trong đó tuyên bố rằng các hệ tiên đề nhất quán có thể biểu hiện đủ không bao giờ có thể chứng minh tính nhất quán của chúng. Vì bất kỳ hệ tiên đề nào như vậy sẽ chứa số học chính xác như là một hệ thống con, nên định lý của Gôdel ngụ ý rằng không thể chứng minh tính nhất quán của hệ thống với điều đó (vì khi đó nó sẽ chứng minh tính nhất quán của chính nó, điều mà Gôdel đã thể hiện là không thể). Do đó, để chứng minh rằng bất kỳ hệ thống tiên đề nào của toán học trên thực tế là nhất quán, trước tiên người ta cần phải thừa nhận tính nhất quán của một hệ thống toán học theo nghĩa mạnh hơn hệ thống được chứng minh là nhất quán.

Hilbert ban đầu là một người khấu trừ, nhưng, có thể rõ ràng từ trên, ông đã xem xét các phương pháp siêu hình nhất định để mang lại kết quả có ý nghĩa nội tại và là một người thực tế đối với số học tài chính. Sau đó, ông giữ quan điểm rằng không có toán học có ý nghĩa nào khác, bất kể giải thích.

Các nhà chính thức khác, như Rudolf Carnap, Alfred Tarski và Haskell Curry, coi toán học là cuộc kiểm tra các hệ tiên đề chính thức. Các nhà logic toán học nghiên cứu các hệ thống chính thức nhưng thường là những người theo chủ nghĩa hiện thực vì họ là những người theo chủ nghĩa hình thức.

Người theo chủ nghĩa hình thức tương đối khoan dung và mời gọi các phương pháp tiếp cận logic, hệ thống số không chuẩn, lý thuyết tập hợp mới, v.v. Chúng ta càng học nhiều trò chơi thì càng tốt. Tuy nhiên, trong cả ba ví dụ này, động lực được rút ra từ các mối quan tâm toán học hoặc triết học hiện có. Các "trò chơi" thường không tùy ý.

Phê bình chính của chủ nghĩa hình thức là các ý tưởng toán học thực tế chiếm lĩnh các nhà toán học đã bị loại bỏ khỏi các trò chơi thao tác chuỗi được đề cập ở trên. Do đó, chủ nghĩa hình thức im lặng trước câu hỏi hệ thống tiên đề nào nên được nghiên cứu, vì không có ý nghĩa nào hơn hệ thống khác theo quan điểm chính thức.

Gần đây, một số nhà toán học chính thống đã đề xuất rằng tất cả các kiến thức toán học chính thức của chúng ta nên được mã hóa một cách có hệ thống các định dạng có thể đọc được trên máy tính, để tạo điều kiện kiểm tra bằng chứng tự động các bằng chứng toán học và sử dụng định lý tương tác chứng minh sự phát triển của lý thuyết toán học và phần mềm máy tính. Do mối liên hệ chặt chẽ với khoa học máy tính, ý tưởng này cũng được các nhà trực giác toán học và các nhà xây dựng ủng hộ trong truyền thống "tính toán", xem dự án QED để biết tổng quan.

Chủ nghĩa thông thường
Nhà toán học người Pháp, Henri Poincaré là một trong những người đầu tiên đưa ra quan điểm thông thường. Việc Poincaré sử dụng hình học phi Euclide trong công trình nghiên cứu về phương trình vi phân đã thuyết phục ông rằng hình học Euclide không nên được coi là một sự thật tiên nghiệm. Ông cho rằng các tiên đề trong hình học nên được chọn cho kết quả mà chúng tạo ra, chứ không phải vì sự gắn kết rõ ràng của chúng với trực giác của con người về thế giới vật chất.

Chủ nghĩa trực giác
Trong toán học, trực giác là một chương trình cải cách phương pháp với phương châm là "không có sự thật toán học không có kinh nghiệm" (LEJ Brouwer). Từ bàn đạp này, những người theo trực giác tìm cách tái cấu trúc những gì họ cho là phần chính xác của toán học theo các khái niệm của Kant về sự tồn tại, trở thành, trực giác và kiến thức. Brouwer, người sáng lập phong trào, cho rằng các đối tượng toán học phát sinh từ các hình thức tiên nghiệm của các biến động thông báo cho nhận thức về các đối tượng thực nghiệm.

Một lực lượng chính đằng sau chủ nghĩa trực giác là LEJ Brouwer, người đã bác bỏ tính hữu dụng của logic chính thức của bất kỳ loại nào đối với toán học. Học sinh của ông là Arend Heyting đã đưa ra một logic trực giác, khác với logic Aristoteles cổ điển; logic này không chứa luật trung gian bị loại trừ và do đó cau mày khi chứng minh bằng mâu thuẫn. Tiên đề của sự lựa chọn cũng bị từ chối trong hầu hết các lý thuyết tập hợp trực giác, mặc dù trong một số phiên bản, nó được chấp nhận.

Trong trực giác, thuật ngữ "xây dựng rõ ràng" không được xác định rõ ràng, và điều đó đã dẫn đến những lời chỉ trích. Người ta đã cố gắng sử dụng các khái niệm về máy Turing hoặc chức năng tính toán để lấp đầy khoảng trống này, dẫn đến tuyên bố rằng chỉ những câu hỏi liên quan đến hành vi của thuật toán hữu hạn là có ý nghĩa và cần được nghiên cứu trong toán học. Điều này đã dẫn đến việc nghiên cứu các con số tính toán, lần đầu tiên được giới thiệu bởi Alan Turing. Không có gì đáng ngạc nhiên, sau đó, cách tiếp cận toán học này đôi khi được kết hợp với khoa học máy tính lý thuyết.

Chủ nghĩa xây dựng
Giống như chủ nghĩa trực giác, chủ nghĩa kiến tạo liên quan đến nguyên tắc điều chỉnh chỉ những thực thể toán học có thể được xây dựng rõ ràng theo một nghĩa nào đó mới được chấp nhận vào diễn ngôn toán học. Theo quan điểm này, toán học là một bài tập về trực giác của con người, không phải là một trò chơi với những biểu tượng vô nghĩa. Thay vào đó, đó là về các thực thể mà chúng ta có thể tạo ra trực tiếp thông qua hoạt động tinh thần. Ngoài ra, một số học viên của các trường này từ chối các bằng chứng phi xây dựng, chẳng hạn như bằng chứng bằng mâu thuẫn. Công việc quan trọng được thực hiện bởi Errett Bishop, người đã cố gắng chứng minh các phiên bản của các định lý quan trọng nhất trong phân tích thực như phân tích mang tính xây dựng trong Cơ sở Phân tích Xây dựng năm 1967 của ông .

Chủ nghĩa hữu hạn
Finitism là một hình thức cực đoan của kiến tạo, theo đó một đối tượng toán học không tồn tại trừ khi nó có thể được xây dựng từ các số tự nhiên trong một số bước hữu hạn. Trong cuốn sách Philistic of Set Theory, Mary Tiles đã mô tả những người cho phép các đối tượng vô hạn là những nhà tài chính cổ điển và những người từ chối thậm chí cả những đối tượng vô hạn là những nhà tài chính nghiêm khắc.

Người đề xuất chủ nghĩa tài chính nổi tiếng nhất là Leopold Kronecker, nói:  Ultrafinitism là một phiên bản thậm chí còn cực đoan hơn của chủ nghĩa hữu hạn, nó bác bỏ không chỉ vô số mà cả số lượng hữu hạn không thể được xây dựng bằng các nguồn lực sẵn có. Một biến thể khác của chủ nghĩa hữu hạn là số học Euclide, một hệ thống được phát triển bởi John Penn Mayberry trong cuốn sách Những nền tảng của toán học trong lý thuyết về bộ. Hệ thống của Mayberry là Aristotelian trong cảm hứng chung và, mặc dù ông từ chối mạnh mẽ bất kỳ vai trò nào đối với hoạt động hoặc tính khả thi trong các nền tảng của toán học, đi đến kết luận tương tự, chẳng hạn, siêu lũy thừa không phải là một chức năng tài chính hợp pháp.

Chủ nghĩa cấu trúc
Chủ nghĩa cấu trúc là một vị trí mà các lý thuyết toán học mô tả các cấu trúc và các đối tượng toán học được xác định một cách thấu đáo bởi vị trí của chúng trong các cấu trúc như vậy, do đó không có thuộc tính nội tại. Chẳng hạn, nó sẽ duy trì rằng tất cả những gì cần biết về số 1 là nó là số nguyên đầu tiên sau 0. Tương tự như vậy, tất cả các số nguyên khác được xác định bởi vị trí của chúng trong một cấu trúc, dòng số. Các ví dụ khác về các đối tượng toán học có thể bao gồm các đường và mặt phẳng trong hình học, hoặc các phần tử và phép toán trong đại số trừu tượng.

Chủ nghĩa cấu trúc là một quan điểm hiện thực nhận thức luận ở chỗ nó cho rằng các phát biểu toán học có giá trị chân lý khách quan. Tuy nhiên, yêu cầu trung tâm của nó chỉ liên quan đến loại đối tượng toán học là gì, không liên quan đến loại đối tượng hoặc cấu trúc toán học nào tồn tại (nói cách khác là bản thể luận của chúng). Các loại đối tượng toán học tồn tại rõ ràng sẽ phụ thuộc vào cấu trúc mà chúng được nhúng vào; các giống phụ khác nhau của chủ nghĩa cấu trúc làm cho tuyên bố bản thể học khác nhau về vấn đề này.

Chủ nghĩa cấu trúc ante rem ("trước sự việc") có một bản thể học tương tự như chủ nghĩa Platon. Các cấu trúc được tổ chức để có một sự tồn tại thực sự nhưng trừu tượng và phi vật chất. Như vậy, nó phải đối mặt với vấn đề nhận thức luận tiêu chuẩn trong việc giải thích sự tương tác giữa các cấu trúc trừu tượng như vậy và các nhà toán học máu thịt (xem vấn đề nhận dạng của Benacerraf).

Chủ nghĩa in-re cấu trúc ("trong sự vật") tương đương với chủ nghĩa hiện thực của Aristoteles. Các cấu trúc được tổ chức để tồn tại khi một số hệ thống cụ thể minh họa chúng. Điều này phát sinh các vấn đề thông thường mà một số cấu trúc hoàn toàn hợp pháp có thể vô tình không tồn tại và một thế giới vật chất hữu hạn có thể không đủ "lớn" để chứa một số cấu trúc hợp pháp khác.

Chủ nghĩa cấu trúc bài rem ("sau sự vật") là chống chủ nghĩa hiện thực về các cấu trúc theo cách tương đồng với chủ nghĩa duy danh. Giống như chủ nghĩa duy danh, cách tiếp cận bài rem phủ nhận sự tồn tại của các đối tượng toán học trừu tượng với các thuộc tính khác với vị trí của chúng trong một cấu trúc quan hệ. Theo quan điểm này, các hệ thống toán học tồn tại và có các đặc điểm cấu trúc chung. Nếu một cái gì đó đúng với cấu trúc, nó sẽ đúng với tất cả các hệ thống minh họa cho cấu trúc. Tuy nhiên, nó chỉ đơn thuần là công cụ để nói về các cấu trúc được "giữ chung" giữa các hệ thống: thực tế chúng không có sự tồn tại độc lập.

Các lý thuyết tâm trí hiện thân
Các lý thuyết tâm trí thể hiện cho rằng tư duy toán học là sự phát triển tự nhiên của bộ máy nhận thức của con người tìm thấy chính nó trong vũ trụ vật lý của chúng ta. Ví dụ, khái niệm trừu tượng về số lò xo từ kinh nghiệm đếm các đối tượng rời rạc. Người ta cho rằng toán học không phải là vạn năng và không tồn tại theo bất kỳ ý nghĩa thực tế nào, ngoài bộ não của con người. Con người xây dựng, nhưng không khám phá, toán học.

Với quan điểm này, vũ trụ vật lý vì thế có thể được coi là nền tảng cuối cùng của toán học: nó đã hướng dẫn sự tiến hóa của bộ não và sau đó xác định câu hỏi nào bộ não này sẽ đáng để điều tra. Tuy nhiên, tâm trí con người không có yêu cầu đặc biệt về thực tế hoặc cách tiếp cận với nó được xây dựng từ toán học. Nếu những cấu trúc như bản sắc của Euler là đúng thì chúng đúng như một bản đồ của tâm trí và nhận thức của con người.

Do đó, các nhà lý thuyết tâm trí hiện thân giải thích tính hiệu quả của toán học Toán học toán học được xây dựng bởi bộ não để có hiệu quả trong vũ trụ này.

Cách đối xử dễ tiếp cận, nổi tiếng và nổi tiếng nhất của viễn cảnh này là Trường hợp Toán học xuất phát, bởi George Lakoff và Rafael E. Núñez. Ngoài ra, nhà toán học Keith Devlin đã nghiên cứu các khái niệm tương tự với cuốn sách Bản năng toán học, cũng như nhà khoa học thần kinh Stanislas Dehaene với cuốn sách The Number Sense. Để biết thêm về các ý tưởng triết học đã truyền cảm hứng cho quan điểm này, xem khoa học nhận thức của toán học.

Chủ nghĩa hiện thực của Aristote
Chủ nghĩa hiện thực của Aristote cho rằng toán học nghiên cứu các tính chất như tính đối xứng, tính liên tục và trật tự có thể được nhận ra theo nghĩa đen trong thế giới vật lý (hoặc trong bất kỳ thế giới nào khác có thể có). Nó tương phản với chủ nghĩa Platon khi cho rằng các đối tượng của toán học, chẳng hạn như số, không tồn tại trong một thế giới "trừu tượng" nhưng có thể được nhận ra về mặt vật lý. Ví dụ, số 4 được nhận ra trong mối quan hệ giữa một đống vẹt và phổ quát "là một con vẹt" phân chia đống thành nhiều con vẹt. Chủ nghĩa hiện thực của Aristote được bảo vệ bởi James Franklin và Trường Sydney trong triết học toán học và gần với quan điểm của Penelope Maddy rằng khi một thùng trứng được mở ra, một bộ ba quả trứng được nhận ra (nghĩa là, một thực thể toán học được nhận ra trong thế giới vật chất). Một vấn đề đối với chủ nghĩa hiện thực của Aristote là những gì được đưa ra cho sự phổ biến cao hơn, có thể không thể thực hiện được trong thế giới vật lý.

Số học Euclide được phát triển bởi John Penn Mayberry trong cuốn sách Những nền tảng của toán học trong lý thuyết về bộ. cũng rơi vào truyền thống hiện thực của Aristote. Mayberry, theo Euclid, coi các con số chỉ đơn giản là "vô số đơn vị nhất định" được hiện thực hóa trong tự nhiên như "các thành viên của Dàn nhạc Giao hưởng London" hay "những cây trong gỗ Birnam". Có hay không có vô số đơn vị nhất định mà Notion 5 của Euclid (Toàn bộ lớn hơn Phần) không thành công và do đó sẽ được coi là vô hạn đối với Mayberry về cơ bản là một câu hỏi về Thiên nhiên và không đặt ra bất kỳ giả định siêu việt nào.

Chủ nghĩa tâm lý học
Tâm lý học trong triết học toán học là vị trí mà các khái niệm và/hoặc sự thật toán học được đặt nền tảng, xuất phát từ hoặc giải thích bởi các sự kiện tâm lý (hoặc luật).

John Stuart Mill dường như là người ủng hộ một loại tâm lý học logic, cũng như nhiều nhà logic học người Đức thế kỷ 19 như Sigwart và Erdmann cũng như một số nhà tâm lý học, quá khứ và hiện tại: ví dụ, Gustave Le Bon. Tâm lý học đã bị Frege chỉ trích nổi tiếng trong cuốn Những nền tảng của số học, và nhiều tác phẩm và bài tiểu luận của ông, bao gồm cả bài phê bình về Triết học số học của Husserl. Edmund Husserl, trong tập đầu tiên của Cuộc điều tra logic của mình, được gọi là "The Prolegomena of Pure Logic", đã chỉ trích tâm lý học kỹ lưỡng và tìm cách tránh xa nó. "Prolegomena" được coi là một sự bác bỏ tâm lý ngắn gọn, công bằng và thấu đáo hơn so với những lời chỉ trích của Frege, và ngày nay nó được nhiều người coi là một lời từ chối đáng nhớ cho cú đánh quyết định của nó vào tâm lý học. Tâm lý học cũng bị Charles Sanders Peirce và Maurice Merleau-Ponty chỉ trích.

Chủ nghĩa kinh nghiệm
Chủ nghĩa kinh nghiệm toán học là một hình thức của chủ nghĩa hiện thực phủ nhận rằng toán học có thể được biết đến một tiên nghiệm. Nó nói rằng chúng ta khám phá các sự kiện toán học bằng nghiên cứu thực nghiệm, giống như các sự kiện trong bất kỳ ngành khoa học nào khác. Nó không phải là một trong ba vị trí cổ điển được ủng hộ vào đầu ngày 20   thế kỷ, nhưng chủ yếu phát sinh vào giữa thế kỷ. Tuy nhiên, một người đề xướng sớm quan trọng về quan điểm như thế này là John Stuart Mill. Quan điểm của Mill bị chỉ trích rộng rãi, bởi vì, theo các nhà phê bình, như AJ Ayer, nó đưa ra những tuyên bố như  được đưa ra dưới dạng những sự thật không chắc chắn, mà chúng ta chỉ có thể tìm hiểu bằng cách quan sát các trường hợp của hai cặp đến với nhau và tạo thành một bộ tứ.

Chủ nghĩa kinh nghiệm toán học đương đại, được xây dựng bởi WVO Quine và Hilary Putnam, chủ yếu được hỗ trợ bởi lập luận tất yếu: toán học là không thể thiếu đối với tất cả các khoa học thực nghiệm và nếu chúng ta muốn tin vào thực tế của các hiện tượng được mô tả bởi các khoa học, chúng ta cũng nên tin vào thực tế của những thực thể cần thiết cho mô tả này. Đó là, vì vật lý cần nói về các điện tử để nói tại sao bóng đèn hoạt động như chúng, thì các electron phải tồn tại. Vì vật lý cần nói về các con số trong việc đưa ra bất kỳ lời giải thích nào, nên số phải tồn tại. Để phù hợp với triết lý chung của Quine và Putnam, đây là một lập luận tự nhiên. Nó lập luận cho sự tồn tại của các thực thể toán học là lời giải thích tốt nhất cho kinh nghiệm, do đó tước bỏ toán học khác biệt với các ngành khoa học khác.

Putnam đã từ chối mạnh mẽ thuật ngữ " Platonist " khi ngụ ý một bản thể học quá cụ thể không cần thiết cho thực hành toán học theo bất kỳ ý nghĩa thực tế nào. Ông ủng hộ một hình thức "chủ nghĩa hiện thực thuần túy" bác bỏ những quan niệm huyền bí về sự thật và chấp nhận nhiều chủ nghĩa kinh nghiệm trong toán học. Điều này phát triển từ sự khẳng định ngày càng phổ biến vào cuối thế kỷ 20 rằng không một nền tảng toán học nào có thể được chứng minh là tồn tại. Đôi khi nó còn được gọi là "chủ nghĩa hậu hiện đại trong toán học" mặc dù thuật ngữ đó được coi là quá tải bởi một số người và xúc phạm người khác. Chủ nghĩa kinh nghiệm thực nghiệm cho rằng khi thực hiện nghiên cứu của mình, các nhà toán học kiểm tra các giả thuyết cũng như chứng minh các định lý. Một lập luận toán học có thể truyền sai lệch từ kết luận đến các tiền đề cũng như nó có thể truyền sự thật từ các tiền đề đến kết luận. Putnam đã lập luận rằng bất kỳ lý thuyết nào về chủ nghĩa hiện thực toán học sẽ bao gồm các phương pháp gần đúng theo kinh nghiệm. Ông đề xuất rằng một loài người ngoài hành tinh làm toán học có thể chủ yếu dựa vào các phương pháp gần đúng theo kinh nghiệm, thường sẵn sàng từ bỏ các bằng chứng nghiêm ngặt và tiên đề, và vẫn có thể thực hiện toán học có lẽ có nguy cơ thất bại cao hơn trong tính toán. Ông đã đưa ra một lập luận chi tiết cho điều này trong Hướng dẫn mới. Chủ nghĩa kinh nghiệm cũng được phát triển bởi Imre Lakatos.

Những lời chỉ trích quan trọng nhất về quan điểm thực nghiệm của toán học là gần giống như quan điểm đối với Mill. Nếu toán học cũng giống như kinh nghiệm như các ngành khoa học khác, thì điều này cho thấy rằng kết quả của nó cũng dễ hiểu như của họ, và cũng như tình cờ. Trong trường hợp của Mill, sự biện minh theo kinh nghiệm xuất hiện trực tiếp, trong trường hợp của Quine, nó đến một cách gián tiếp, thông qua sự gắn kết của toàn bộ lý thuyết khoa học của chúng ta, tức là sự đồng thuận sau EO Wilson. Quine cho rằng toán học dường như hoàn toàn chắc chắn bởi vì vai trò của nó trong mạng lưới niềm tin của chúng ta là cực kỳ trung tâm, và chúng ta sẽ vô cùng khó khăn để sửa đổi nó, mặc dù không phải là không thể.

Đối với một triết lý toán học cố gắng khắc phục một số thiếu sót trong cách tiếp cận của Quine và Gôdel bằng cách xem xét từng khía cạnh của chủ nghĩa hiện thực của Penelope Maddy trong Toán học. Một ví dụ khác về một lý thuyết hiện thực là lý thuyết tâm trí hiện thân.

Để có bằng chứng thực nghiệm cho thấy trẻ sơ sinh của con người có thể làm số học cơ bản, xem Brian Butterworth.

Chủ nghĩa hư cấu
Chủ nghĩa hư cấu toán học đã trở nên nổi tiếng vào năm 1980 khi Trường Hartry xuất bản Khoa học không có số, từ chối và trên thực tế đã đảo ngược lập luận không thể thiếu của Quine. Trường hợp Quine cho rằng toán học là không thể thiếu đối với các lý thuyết khoa học tốt nhất của chúng ta, và do đó nên được chấp nhận như một cơ thể của sự thật nói về các thực thể tồn tại độc lập, Field cho rằng toán học có thể phân tán, và do đó nên được coi là một cơ thể của sự giả dối thực. Ông đã làm điều này bằng cách đưa ra một tiên đề hoàn chỉnh của cơ học Newton mà không liên quan đến các con số hay chức năng nào cả. Ông bắt đầu với "tính giữa" của các tiên đề của Hilbert để mô tả không gian mà không phối hợp với nó, và sau đó thêm các mối quan hệ bổ sung giữa các điểm để thực hiện công việc trước đây được thực hiện bởi các trường vectơ. Hình học của Hilbert là toán học, bởi vì nó nói về các điểm trừu tượng, nhưng trong lý thuyết của Field, những điểm này là các điểm cụ thể của không gian vật lý, do đó không cần các đối tượng toán học đặc biệt nào.

Đã chỉ ra cách làm khoa học mà không sử dụng các con số, Field đã tiến hành cải tạo toán học như một loại tiểu thuyết hữu ích. Ông đã chỉ ra rằng vật lý toán học là một phần mở rộng bảo thủ của vật lý phi toán học của mình (nghĩa là mọi thực tế vật lý có thể chứng minh được trong vật lý toán học đều có thể chứng minh được từ hệ thống của Field), do đó toán học là một quá trình đáng tin cậy mà các ứng dụng vật lý của nó đều đúng, mặc dù tuyên bố riêng của nó là sai. Do đó, khi làm toán, chúng ta có thể thấy mình như đang kể một loại câu chuyện, nói chuyện như thể con số tồn tại. Đối với Field, một tuyên bố như  cũng giống như " Sherlock Holmes sống ở số 221B Phố Baker", cả hai đều đúng theo những hư cấu có liên quan.

Bằng tư duy này, không có vấn đề siêu hình hay nhận thức luận nào đặc biệt đối với toán học. Những lo lắng duy nhất còn lại là những lo lắng chung về vật lý phi toán học, và về tiểu thuyết nói chung. Cách tiếp cận của lĩnh vực đã rất có ảnh hưởng, nhưng bị từ chối rộng rãi. Điều này một phần là do yêu cầu của các đoạn logic thứ hai mạnh mẽ để thực hiện việc giảm bớt của anh ta, và vì tuyên bố bảo thủ dường như đòi hỏi phải định lượng trên các mô hình trừu tượng hoặc các khoản khấu trừ.

Xây dựng xã hội
Chủ nghĩa kiến tạo xã hội xem toán học chủ yếu là một công trình xã hội, như một sản phẩm của văn hóa, chịu sự điều chỉnh và thay đổi. Giống như các ngành khoa học khác, toán học được xem là một nỗ lực thực nghiệm với kết quả được đánh giá liên tục và có thể bị loại bỏ. Tuy nhiên, mặc dù theo quan điểm của chủ nghĩa kinh nghiệm, việc đánh giá là một sự so sánh với "thực tế", các nhà xây dựng xã hội nhấn mạnh rằng hướng nghiên cứu toán học được quyết định bởi thời trang của nhóm xã hội thực hiện nó hoặc bởi nhu cầu của xã hội tài trợ cho nó. Tuy nhiên, mặc dù các lực lượng bên ngoài như vậy có thể thay đổi hướng của một số nghiên cứu toán học, nhưng có những ràng buộc bên trong mạnh mẽ, truyền thống toán học, phương pháp, vấn đề, ý nghĩa và giá trị mà các nhà toán học được sử dụng để bảo tồn môn học được xác định theo lịch sử.

Điều này đi ngược lại với niềm tin truyền thống của các nhà toán học đang làm việc, rằng toán học bằng cách nào đó thuần túy hoặc khách quan. Nhưng các nhà xây dựng xã hội cho rằng toán học thực tế là có cơ sở bởi nhiều điều không chắc chắn: khi thực tiễn toán học phát triển, tình trạng của toán học trước đó bị nghi ngờ và được điều chỉnh theo mức độ mà cộng đồng toán học hiện tại yêu cầu hoặc mong muốn. Điều này có thể được nhìn thấy trong sự phát triển của phân tích từ việc tái phân tích tính toán của Leibniz và Newton. Họ lập luận thêm rằng toán học thành phẩm thường được coi là quá nhiều trạng thái, và toán học dân gian là không đủ, do quá coi trọng chứng minh tiên đề và đánh giá ngang hàng như thực tiễn. Tuy nhiên, điều này có thể được xem như chỉ nói rằng các kết quả đã được chứng minh nghiêm ngặt được nhấn mạnh quá mức, và sau đó "hãy nhìn xem tất cả phần còn lại của nó là hỗn loạn như thế nào!"

Bản chất xã hội của toán học được nhấn mạnh trong văn hóa của nó. Những khám phá lớn có thể được thực hiện trong một nhánh của toán học và có liên quan đến một ngành khác, tuy nhiên mối quan hệ này chưa được khám phá vì thiếu liên hệ xã hội giữa các nhà toán học. Các nhà xây dựng xã hội cho rằng mỗi chuyên ngành hình thành nên một cộng đồng sử thi riêng và thường gặp khó khăn lớn trong việc giao tiếp, hoặc thúc đẩy việc điều tra các phỏng đoán thống nhất có thể liên quan đến các lĩnh vực khác nhau của toán học. Các nhà xây dựng xã hội coi quá trình "làm toán" là thực sự tạo ra ý nghĩa, trong khi các nhà hiện thực xã hội thấy sự thiếu hụt về năng lực của con người để trừu tượng hóa, hoặc thiên kiến nhận thức của con người, hoặc trí tuệ tập thể của các nhà toán học như ngăn cản sự hiểu biết về một vũ trụ thực sự của đối tượng toán học. Các nhà xây dựng xã hội đôi khi từ chối việc tìm kiếm nền tảng của toán học bị ràng buộc là thất bại, là vô nghĩa hoặc thậm chí vô nghĩa.

Đóng góp cho trường này đã được Imre Lakatos và Thomas Tymoczko thực hiện, mặc dù không rõ ràng rằng một trong hai sẽ chứng thực danh hiệu này.   Gần đây Paul Ernest đã xây dựng một cách rõ ràng một triết lý xây dựng xã hội của toán học. Một số người coi công việc của Paul Erd nói chung đã nâng cao quan điểm này (mặc dù ông đã từ chối nó) vì sự hợp tác rộng rãi của ông, khiến những người khác xem và nghiên cứu "toán học như một hoạt động xã hội", ví dụ, thông qua số Erdős. Reuben Hersh cũng đã thúc đẩy quan điểm xã hội về toán học, gọi đó là cách tiếp cận "nhân văn", tương tự nhưng không hoàn toàn giống với phương pháp liên quan đến Alvin White; một trong những đồng tác giả của Hersh, Philip J. Davis, cũng bày tỏ sự đồng tình với quan điểm xã hội.

Một chỉ trích của phương pháp này là nó tầm thường, dựa trên quan sát tầm thường rằng toán học là một hoạt động của con người. Để quan sát rằng bằng chứng nghiêm ngặt chỉ xuất hiện sau khi phỏng đoán không hợp lý, thử nghiệm và suy đoán là đúng, nhưng nó là tầm thường và không ai sẽ phủ nhận điều này. Vì vậy, đó là một chút căng thẳng để mô tả một triết lý toán học theo cách này, trên một cái gì đó tầm thường. Tính toán của Leibniz và Newton đã được các nhà toán học như Weierstrass xem xét lại để chứng minh một cách chặt chẽ các định lý về nó. Không có gì đặc biệt hay thú vị về điều này, vì nó phù hợp với xu hướng chung hơn của những ý tưởng không hấp dẫn mà sau này được thực hiện nghiêm ngặt. Cần có sự phân biệt rõ ràng giữa các đối tượng nghiên cứu toán học và nghiên cứu các đối tượng nghiên cứu toán học. Cái trước dường như không thay đổi nhiều;  cái sau là mãi mãi trong thông lượng. Cái sau là những gì lý thuyết xã hội nói về, và cái trước là những gì chủ nghĩa Platon và các chủ nghĩa liên quan đã là.

Tuy nhiên, sự chỉ trích này bị từ chối bởi những người ủng hộ quan điểm xây dựng xã hội vì nó bỏ lỡ quan điểm rằng chính các đối tượng của toán học là các cấu trúc xã hội. Những đối tượng, nó khẳng định, chủ yếu là ký hiệu học đối tượng hiện có trong lĩnh vực văn hóa con người, duy trì bởi thực tiễn xã hội (sau Wittgenstein) mà sử dụng dấu hiệu về thể chất thể hiện và làm phát sinh intrapersonal cấu trúc (tinh thần). Các nhà xây dựng xã hội xem việc hợp nhất hóa lĩnh vực văn hóa của con người thành một cõi Platonic, hoặc một miền tồn tại giống như thiên đàng khác ngoài thế giới vật chất, một lỗi thuộc phạm vi lâu đời.

Ngoài các trường phái truyền thống

Hiệu quả không hợp lý
Thay vì tập trung vào các cuộc tranh luận hẹp về bản chất thực sự của toán học thật, hoặc thậm chí trên thực hành duy nhất để các nhà toán học như các bằng chứng, một phong trào phát triển từ những năm 1960 đến những năm 1990 đã bắt đầu đặt câu hỏi về ý tưởng của tìm kiếm cơ sở hoặc tìm kiếm bất kỳ một câu trả lời đúng để tại sao toán học hoạt động. Điểm khởi đầu cho điều này là bài báo nổi tiếng năm 1960 của Eugene Wigner Hiệu quả phi lý của toán học trong khoa học tự nhiên, trong đó ông cho rằng sự trùng hợp vui vẻ của toán học và vật lý rất phù hợp dường như là vô lý và khó giải thích.

Hai giác quan của Popper
Các lý thuyết hiện thực và kiến tạo thường được coi là tương phản. Tuy nhiên, Karl Popper  lập luận rằng một tuyên bố số như  có thể được thực hiện theo hai nghĩa. Theo một nghĩa nào đó, nó là không thể bác bỏ và đúng về mặt logic. Theo nghĩa thứ hai, nó thực sự đúng và sai lệch. Một cách khác để nói điều này là để nói rằng một câu lệnh số đơn có thể diễn tả hai mệnh đề: một trong số đó có thể được giải thích trên các dòng kiến tạo; khác trên dòng hiện thực.

Triết lý ngôn ngữ
Những đổi mới trong triết lý ngôn ngữ trong thế kỷ 20 đã làm mới quan tâm đến việc liệu toán học có phải là ngôn ngữ của khoa học hay không. Mặc dù một số nhà toán học và triết gia sẽ chấp nhận tuyên bố " toán học là một ngôn ngữ ", các nhà ngôn ngữ học tin rằng ý nghĩa của một tuyên bố như vậy phải được xem xét. Ví dụ, các công cụ của ngôn ngữ học thường không được áp dụng cho các hệ thống ký hiệu của toán học, nghĩa là toán học được nghiên cứu theo một cách khác biệt so với các ngôn ngữ khác. Nếu toán học là một ngôn ngữ, nó là một loại ngôn ngữ khác với ngôn ngữ tự nhiên. Thật vậy, vì nhu cầu về sự rõ ràng và cụ thể, ngôn ngữ toán học bị hạn chế hơn nhiều so với các ngôn ngữ tự nhiên được nghiên cứu bởi các nhà ngôn ngữ học. Tuy nhiên, các phương pháp do Frege và Tarski phát triển để nghiên cứu ngôn ngữ toán học đã được mở rộng rất nhiều bởi sinh viên Richard Montague của Tarski và các nhà ngôn ngữ học khác làm việc trong ngữ nghĩa chính thức để chỉ ra rằng sự khác biệt giữa ngôn ngữ toán học và ngôn ngữ tự nhiên có thể không lớn như nó tỏ ra.

Mohan Ganesalingam đã phân tích ngôn ngữ toán học bằng các công cụ từ ngôn ngữ học chính thức. Ganesalingam lưu ý rằng một số tính năng của ngôn ngữ tự nhiên là không cần thiết khi phân tích ngôn ngữ toán học (chẳng hạn như thì), nhưng nhiều công cụ phân tích tương tự có thể được sử dụng (như ngữ pháp không ngữ cảnh). Một điểm khác biệt quan trọng là các đối tượng toán học có các loại được xác định rõ ràng, có thể được xác định rõ ràng trong một văn bản: "Thực tế, chúng tôi được phép giới thiệu một từ trong một phần của câu và tuyên bố một phần của lời nói trong một phần khác không có sự tương tự trong ngôn ngữ tự nhiên. "

Lập luận

Lập luận tất yếu cho chủ nghĩa hiện thực
Lập luận này, liên quan đến Willard Quine và Hilary Putnam, được Stephen Yablo coi là một trong những lập luận thách thức nhất ủng hộ sự chấp nhận sự tồn tại của các thực thể toán học trừu tượng, như số và tập hợp. Hình thức của lập luận như sau.

 Người ta phải có bản thể cam kết cho tất cả các thực thể không thể thiếu cho các lý thuyết khoa học tốt nhất, và để chỉ những thực thể (thường được gọi là "tất cả và chỉ").
 Các thực thể toán học là không thể thiếu đối với các lý thuyết khoa học tốt nhất. Vì thế,
 Người ta phải có các cam kết bản thể đối với các thực thể toán học.

Sự biện minh cho tiền đề đầu tiên là tranh cãi nhất. Cả Putnam và Quine đều viện dẫn chủ nghĩa tự nhiên để biện minh cho việc loại trừ tất cả các thực thể phi khoa học, và do đó để bảo vệ phần "duy nhất" của "tất cả và duy nhất". Sự khẳng định rằng "tất cả" các thực thể được đưa ra trong các lý thuyết khoa học, bao gồm cả các con số, nên được chấp nhận là có thật là hợp lý bởi sự tổng thể xác nhận. Vì các lý thuyết không được xác nhận theo kiểu từng phần, nhưng nói chung, không có lý do nào để loại trừ bất kỳ thực thể nào được đề cập trong các lý thuyết được xác nhận tốt. Điều này đặt nhà danh nghĩa muốn loại trừ sự tồn tại của các tập hợp và hình học phi Euclide, nhưng bao gồm sự tồn tại của các quark và các thực thể vật lý không thể phát hiện khác, ví dụ, ở một vị trí khó khăn.

Lập luận chống lại chủ nghĩa hiện thực
Các chống hiện thực " tri thức lý luận" chống lại chủ nghĩa Platon đã được thực hiện bởi Paul Benacerraf và Hartry Dòng. Chủ nghĩa Platon cho rằng các đối tượng toán học là các thực thể trừu tượng. Theo thỏa thuận chung, các thực thể trừu tượng không thể tương tác nhân quả với các thực thể vật lý cụ thể ("giá trị thật của các xác nhận toán học của chúng tôi phụ thuộc vào các sự kiện liên quan đến các thực thể Platonic cư trú trong một cõi ngoài không gian" ). Mặc dù kiến thức về cụ thể của chúng ta, các đối tượng vật lý dựa trên khả năng nhận thức của chúng, và do đó để tương tác một cách nhân quả với chúng, không có tài khoản song song về cách các nhà toán học có kiến thức về các đối tượng trừu tượng. Một cách khác để đưa ra quan điểm là nếu thế giới Platonic biến mất, sẽ không có gì khác biệt đối với khả năng của các nhà toán học tạo ra bằng chứng, v.v., vốn đã hoàn toàn chịu trách nhiệm về các quá trình vật lý trong não của họ.

Lĩnh vực phát triển quan điểm của mình thành chủ nghĩa hư cấu. Benacerraf cũng phát triển triết lý của chủ nghĩa cấu trúc toán học, theo đó không có đối tượng toán học. Tuy nhiên, một số phiên bản của chủ nghĩa cấu trúc tương thích với một số phiên bản của chủ nghĩa hiện thực.

Lập luận xoay quanh ý tưởng rằng một tài khoản tự nhiên thỏa đáng về các quá trình suy nghĩ về các quá trình não có thể được đưa ra cho lý luận toán học cùng với mọi thứ khác. Một dòng bảo vệ là để duy trì rằng điều này là sai, do đó lý luận toán học sử dụng một số trực giác đặc biệt liên quan đến việc tiếp xúc với vương quốc Platonic. Một hình thức hiện đại của lập luận này được Sir Roger Penrose đưa ra.

Một cách phòng thủ khác là duy trì các đối tượng trừu tượng có liên quan đến lý luận toán học theo cách không nhân quả và không giống với nhận thức. Lập luận này được phát triển bởi Jerrold Katz trong cuốn sách 2000 Rationalismism.

Một biện pháp bảo vệ triệt để hơn là phủ nhận thực tế vật lý, tức là giả thuyết vũ trụ toán học. Trong trường hợp đó, kiến thức toán học của một nhà toán học là một đối tượng toán học tiếp xúc với nhau.

Tính thẩm mỹ
Nhiều nhà toán học thực hành đã bị lôi cuốn vào chủ đề của họ vì cảm giác về cái đẹp mà họ cảm nhận được trong đó. Đôi khi người ta nghe thấy tình cảm rằng các nhà toán học muốn để lại triết học cho các nhà triết học và quay trở lại toán học, nơi, có lẽ, vẻ đẹp nằm ở đó.

Trong tác phẩm của mình về tỷ lệ thiêng liêng, HE Huntley liên quan đến cảm giác đọc và hiểu bằng chứng của người khác về một định lý toán học với người xem một kiệt tác nghệ thuật. tác giả ban đầu của bằng chứng, nhiều như, ông lập luận, người xem một kiệt tác có một cảm giác phấn khởi tương tự như họa sĩ hoặc nhà điêu khắc gốc. Thật vậy, người ta có thể nghiên cứu các tác phẩm toán học và khoa học như văn học.

Philip J. Davis và Reuben Hersh đã nhận xét rằng ý thức về vẻ đẹp toán học là phổ biến giữa các nhà toán học thực hành. Bằng cách ví dụ, họ cung cấp hai bằng chứng về sự bất hợp lý của . Đầu tiên là bằng chứng truyền thống bằng mâu thuẫn, được gán cho Euclid; thứ hai là một bằng chứng trực tiếp hơn liên quan đến định lý cơ bản của số học mà họ tranh luận, đi vào trọng tâm của vấn đề. Davis và Hersh cho rằng các nhà toán học tìm thấy bằng chứng thứ hai hấp dẫn hơn về mặt thẩm mỹ bởi vì nó gần với bản chất của vấn đề hơn.

Paul Erdős nổi tiếng với khái niệm về một "Cuốn sách" giả thuyết có chứa các bằng chứng toán học thanh lịch hoặc đẹp nhất. Không có thỏa thuận phổ quát rằng một kết quả có một bằng chứng "thanh lịch nhất"; Gregory Chaitin đã lập luận chống lại ý tưởng này.

Các nhà triết học đôi khi chỉ trích cảm giác về vẻ đẹp hay sự thanh lịch của các nhà toán học là tốt nhất, mơ hồ tuyên bố. Tuy nhiên, bởi cùng một mã thông báo, các nhà triết học toán học đã tìm cách mô tả những gì làm cho một bằng chứng được mong muốn hơn một bằng chứng khác khi cả hai đều hợp lý.

Một khía cạnh khác của thẩm mỹ liên quan đến toán học là quan điểm của các nhà toán học đối với việc sử dụng toán học có thể cho các mục đích được coi là phi đạo đức hoặc không phù hợp. Giải thích nổi tiếng nhất về quan điểm này xảy ra trong cuốn sách A Mathicalian's Apology của GH Hardy, trong đó Hardy lập luận rằng toán học thuần túy có vẻ đẹp vượt trội so với toán học ứng dụng chính xác bởi vì nó không thể được sử dụng cho chiến tranh và kết thúc tương tự.

Tham khảo

Liên kết ngoài

The London Philosophy Study Guide  offers many suggestions on what to read, depending on the student's familiarity with the subject:
Philosophy of Mathematics
Mathematical Logic
Set Theory & Further Logic
R.B. Jones' philosophy of mathematics page

The Philosophy of Real Mathematics Blog
Kaina Stoicheia  by C.S. Peirce.

Chuyên ngành triết học
Triết học toán học


title: Ribostamycin

text:
Ribostamycin là một loại kháng sinh aminoglycoside-aminocyclitol được phân lập từ streptomycete, Streptomyces ribosidificus, ban đầu được xác định trong một mẫu đất từ thành phố Tsu, tỉnh Mie ở Nhật Bản. Nó được tạo thành từ 3 tiểu đơn vị vòng: 2-deoxystreptamine (DOS), neosamine C và ribose. Ribostamycin, cùng với aminoglycosid khác với tiểu đơn vị điều hành DOS, là một kháng sinh phổ rộng quan trọng với việc sử dụng chống lại vi rút suy giảm miễn dịch ở người và được Tổ chức Y tế Thế giới coi là một kháng khuẩn cực kỳ quan trọng., Việc kháng kháng sinh aminoglycoside, như ribostamycin, ngày càng được quan tâm. Các vi khuẩn kháng thuốc có chứa các enzyme làm thay đổi cấu trúc thông qua quá trình phosphoryl hóa, adenyl hóa và acetyl hóa và ngăn không cho kháng sinh có thể tương tác với RNA ribosome của vi khuẩn.

Sinh tổng hợp
Quá trình sinh tổng hợp ribostamycin bắt đầu với đường, D-glucose, được phosphoryl hóa ở vị trí 6 để tạo thành glucose-6-phosphate. Enzym rbmA chứa một chuỗi di truyền tương ứng với liên kết NAD+ và xúc tác cho sự hình thành 2-deoxy-scyllo-inosose. Enzym rmbB sau đó xúc tác cho quá trình truyền 2-deoxy-scyllo-inosose thành 2-deoxy-scyllo-inosamine với L-glutamine và pyridoxal phosphate (PLP). Enzyme rbmC oxy hóa vòng thành 2-deoxy-3-amino-scyllo-inosose, sau đó được enzyme rmbB chuyển sang DOS. DOS sau đó được glycosyl hóa bởi glycosyltransferase rmbD với uridine diphosphate N-acetylglucosamine (UDP-Glc-NAc) để tạo thành 2'-N-acetylparomamine. Deacetylase, racJ, loại bỏ nhóm acetyl và tạo thành paromamine. Paromamine bị oxy hóa bởi enzyme rbmG và sau đó enzyme rmbH transaminate để tạo ra neamine. Neamine sau đó được ribosyl hóa để tạo thành ribostamycin.,

Tham khảo

Bài viết chứa mã định danh InChI đã thay đổi


title: Cratichneumon petulcus

text:
Cratichneumon petulcus là một loài tò vò trong họ Ichneumonidae.

Chú thích

Liên kết ngoài

Cratichneumon


title: Eumelea isozyges

text:
Eumelea isozyges là một loài bướm đêm trong họ Geometridae.

Chú thích

Tham khảo

Eumelea


title: Diadocis longimacula

text:
Diadocis longimacula là một loài bướm đêm trong họ Noctuidae.

Chú thích

Liên kết ngoài

Diadocis


title: Virus sarcoma Rous

text:
Virus sarcoma Rous (RSV) là một retrovirus và là oncovirus đầu tiên được mô tả. Virus gây bệnh sarcoma ở gà.

Như các retrovirus khác, RSV đảo ngược bộ gen RNA của nó thành cDNA trước khi tích hợp vào DNA chủ.

Lịch sử
RSV được phát hiện vào năm 1911 bởi Peyton Rous, làm việc tại Đại học Rockefeller ở thành phố New York, bằng cách tiêm chiết xuất khối u gà vào gà Plymouth Rock khỏe mạnh. RSV được biết đến như là retrovirus gây ung thư đầu tiên có thể được sử dụng để nghiên cứu sự phát triển của ung thư phân tử.

Năm 1958, Harry Rubin và Howard Temin đã phát triển một xét nghiệm trong đó nguyên bào sợi phôi gà có thể bị thay đổi về mặt hình thái do nhiễm RSV. Hai năm sau, Temin kết luận rằng hình thái biến đổi của các tế bào được kiểm soát bởi một đặc tính di truyền của RSV. Sau này, các thí nghiệm đã xác định gen src chịu trách nhiệm cho sự biến đổi hình thái trong các tế bào khỏe mạnh. Trong những năm 1960, hai phát hiện đã được công bố: các virus phân lập có khả năng sao chép có liên quan đến RSV, nhưng không biến đổi và một chủng RSV bị sao chép bị cô lập có khả năng biến đổi. Hai phát hiện này đã dẫn đến khái niệm rằng sự nhân lên của virus và biến đổi ác tính là các quá trình riêng biệt trong RSV.

Rous được trao giải thưởng Nobel về sinh lý học và y khoa nhờ khám phá của ông vào năm 1966. Sau đó, sau khi các loại virus gây ung thư khác ở người, như virus Epstein-Barr, được phát hiện. Quá trình oncogene được tìm thấy ban đầu trong retrovirus và sau đó trong các tế bào.

Chu kỳ sao chép

Nhập bào
Có hai cách virus có thể xâm nhập vào tế bào chủ: nhập bào thụ thể hoặc dung hợp. Nhập bào là quá trình virus liên kết với một thụ thể trên màng tế bào đích và virus được đưa vào hoặc nội tiết vào tế bào. Nhập bào có thể độc lập pH hoặc phụ thuộc pH. Sự hợp nhất xảy ra khi virus hợp nhất với màng tế bào đích và giải phóng bộ gen của nó vào trong tế bào. RSV xâm nhập vào tế bào chủ thông qua sự dung hợp màng tế bào của vật chủ.

Phiên mã
Để sao chép bộ gen RSV xảy ra, cần phải có một đoạn mồi. 4S RNA làm đoạn mồi cho RSV và 70S RNA đóng vai trò là khuôn để tổng hợp DNA. Enzyme sao chép ngược, một DNA polymerase phụ thuộc RNA, sao chép RNA virus vào DNA theo nguyên tắc bổ sung.

Tham khảo

Liên kết ngoài

 the Rous sarcoma virus (RSV) at rcn.com
 molecular expressions at magnet.fsu.edu

 Rfam entry for retroviral 3'UTR stability element


title: Terina meliorata

text:
Terina meliorata là một loài bướm đêm trong họ Geometridae.

Chú thích

Liên kết ngoài

Terina


title: Noctua nonmarginata

text:
Noctua nonmarginata là một loài bướm đêm trong họ Noctuidae.

Chú thích

Liên kết ngoài

Noctua


title: Tuyết Nham Tổ Khâm

text:
Tuyết Nham Tổ Khâm (zh: 雪巖祖欽, ja: Seggan Sokin, ?-1287) là Thiền sư Trung Quốc, thuộc dòng Hổ Khâu, Dương Kỳ phái, Lâm Tế Tông. Sư là đệ tử của Thiền sư Vô Chuẩn Sư Phạm, dưới sư có nhiều vị đệ tử nối pháp tài ba như các vị: Cật Yêm Tông Hâm, Linh Sơn Đạo Ấn, Vô Cực Trí Nhiên, Thiết Ngưu Trì Địa và Cao Phong Nguyên Diệu...

Đặc biệt, pháp tôn đời thứ hai của sư là Thiền sư Thái Cổ Phổ Ngu và Lãn Ông Huệ Cần (Phổ Ngu và Huệ Cần nối pháp Thạch Ốc Thanh Củng, Thanh Củng nối pháp Cật Yêm Tông Hâm) đã truyền Lâm Tế tông vào Triều Tiên. Tại đây, tông phái này phát triển mạnh và được biết đến với tên gọi chung là Tào Khê tông.

Cơ duyên ngộ đạo

Sư họ Tổ, quê ở Vụ Châu (Triết Giang), có thuyết nói là Sư sinh tại Chương Châu (Phúc Kiến). Năm 5 tuổi Sư phát tâm xuất gia và làm thị giả và biết được chuyện của Thiền Tông và chuyên tâm Tọa Thiền.

Năm 16 tuổi, sư đăng đàn thọ Cụ túc và khi đến 18 tuổi thì vân du tham học khắp các chốn thiền lâm. Sư đến tham vấn với Thiền sư Song Lâm Viễn. Tại đây, sư tham cứu chữ Vô (Không) trong công án Tăng hỏi Thiền sư Triệu Châu về phật tính của con chó và có chổ ngộ nhập.

Sau đó, sư đến yết kiến Thiền sư Diệu Phong Chi Thiện tại chùa Linh Ẩn, Hàng Châu và khán câu thoại “Càn Niệu Tiết” rất tinh tấn:Công án “Càn Niệu Tiết”:

Có người hỏi Thiền sư Vân Môn: "Thế nào là Phật?".

Vân Môn đáp: "Đồ hót phân".Sau sư dời đến chùa Tịnh Từ và kết bạn, cùng tu học với 7 vị tăng. Tại đây, sư tiếp tục nỗ lực kiên trì tham cứu câu thoại đầu kể trên.

Về sau, Sư đến pháp hội Kính Sơn của Thiền sư Vô Chuẩn Sư Phạm nhập chúng tham thiền. Khi Vô Chuẩn nêu câu thoại “Chủ nhân ông”, Sư có tỏ ngộ được chút thiền vị, nhưng đến câu “Lỗ mũi nạp Tăng” và “Nanh vuốt Phật Tổ” thì Sư không đáp được. Sư tham cứu nghi tình này suốt mười năm trời nhưng vẫn chưa ngộ được đại ý. Nhân một hôm khi nhìn thấy cây bách cổ thụ ở núi Thiên Mục, sư liền đại ngộ thiền cơ, được Vô Chuẩn ấn chứng.

Hoằng pháp
Vào tháng 8 năm đầu (1253) niên hiệu Bảo Hựu, sư bắt đầu khai mở đạo tràng thuyết pháp tại chùa Long Hưng, thuộc Đàm Châu, tỉnh Hồ Nam. Rồi sau đó trụ trì qua nhiều ngôi tùng lâm như:

 Chùa Đạo Lâm (zh: 道林寺) ở Tương Tây, tỉnh Hồ Nam.
 Nam Minh Phật Nhật Thiền Tự (zh: 南明佛日禪寺) ở Xử Châu, tỉnh Triết Giang.
 Tiên Cư Hộ Thánh Thiền Tự (zh: 仙居護聖禪寺) ở Đài Châu, tỉnh Triết Giang.
 Quang Hiếu Thiền Tự (zh: 光孝禪寺) ở Hồ Châu, tỉnh Triết Giang.

Cuối cùng, sư đến trụ trì tại Ngưỡng Sơn Thiền Tự (zh: 仰山禪寺) ở Viên Châu, tỉnh Giang Tây. Nguyên Thế Tổ Hốt Tất Liệt vì kính trọng đạo hạnh của sư nên từng ban tử y ca sa cho sư.

Năm 1287, niên hiệu Chí Nguyên, sư thị tịch, hưởng thọ hơn 70 tuổi.

Sư có để lại tác phẩm Tuyết Nham Hòa Thượng Ngữ Lục (zh: 雪巖和尚語錄) gồm 4 quyển.

Pháp ngữ
Sư dạy chúng: “Thời giờ không đợi người, một chớp mắt đã qua đời khác, lúc thân thể còn tráng kiện sao không dốc chí học hỏi cho thấu nguồn tột đáy. Chúng ta có cái diễm phúc gì mà ngày nay được ở trong Tăng đường ấm cúng, tại pháp hội của Tổ sư, trên ngọn danh sơn Đại trạch Thần long thế giới này. Ăn thì cơm cháo ngon lành, uống thì nước nôi ấm áp. Nếu không dốc chí học hỏi giáo lý cho tận cùng, triệt để, là các ông tự thả trôi đời mình cam chịu trôi lăn, thật là kẻ hạ liệt ngu si! Nếu thật là mờ mịt không biết, sao không thưa hỏi các bậc tiên tri? Phàm những khi có người hỏi đạo, các bậc Trưởng lão chỉ dạy, hoặc nói ngang nói dọc sao không ghi nhớ xét nghĩ rốt ráo thử cái đó là cái gì?“.

Tham khảo

 Fo Guang Ta-tz'u-tien 佛光大辭典. Fo Guang Ta-tz'u-tien pien-hsiu wei-yuan-hui 佛光大辭典編修委員會. Taipei: Fo-Guang ch'u-pan-she, 1988. (Phật Quang Đại Từ điển. Phật Quang Đại Từ điển biên tu uỷ viên hội. Đài Bắc: Phật Quang xuất bản xã, 1988.)

Dumoulin, Heinrich:

 Geschichte des Zen-Buddhismus I. Indien und China, Bern & München 1985.
 Geschichte des Zen-Buddhismus II. Japan, Bern & München 1986.

 Das Lexikon der Östlichen Weisheitslehren, Bern 1986.
 Hư Vân.Thiền Quan Sách Tấn, Thích Thanh Từ dịch 1990.
 Lịch sử Thiền Tông Trung Quốc. Nguyễn Nam Trân dịch 2009.

Thiền sư Trung Quốc
Lâm Tế tông


title: Giải quần vợt Mỹ Mở rộng 2007 - Đôi nam nữ

text:
Giải quần vợt Mỹ Mở rộng 2007 – Đôi nam nữ là sự kiện diễn ra với chức vô địch thuộc về Victoria Azarenka và Max Mirnyi.
Chuyên gia đánh đôi Max Mirnyi kết hợp với Victoria Azarenka để trở thành đội không xếp hạt giống nhưng cực kỳ nguy hiểm; điều đó được chứng minh bằng việc họ loại hạt giống số 1 Lisa Raymond và Nenad Zimonjić ở vòng một. Đây là danh hiệu Grand Slam đầu tiên của Azarenka.

Hạt giống

Kết quả

Chung kết

Nửa trên

Nửa dưới

Liên kết ngoài
 Draw

Đôi nam nữ
Giải quần vợt Mỹ Mở rộng theo năm – Đôi nam nữ


title: Tarsotropidus lutulentus

text:
Tarsotropidus lutulentus là một loài bọ cánh cứng trong họ Cerambycidae.

Chú thích

Tham khảo

Tarsotropidus


title: Alfred Tarski

text:
Alfred Tarski (; 14 tháng 1 năm 1901 – 26 tháng 10 năm 1983), tên khai sinh Alfred Teitelbaum,  là một nhà logic học và toán học  mang quốc tịch Ba Lan-Mỹ   gốc Ba Lan-Do Thái.   Được đào tạo tại Ba Lan tại Đại học Warsaw, và là thành viên của trường phái logic Lwów-Warsaw và trường phái toán học Warsaw, ông di cư đến Hoa Kỳ vào năm 1939, nơi ông trở thành công dân nhập tịch vào năm 1945. Tarski dạy và nghiên cứu toán học tại Đại học California, Berkeley, từ năm 1942 cho đến khi ông qua đời năm 1983.

Là một tác giả nổi tiếng với các công trình nghiên cứu về lý thuyết mô hình, metamathematics và logic đại số, ông cũng đóng góp cho đại số trừu tượng, tô pô, hình học, lý thuyết độ đo, logic toán, lý thuyết tập hợp và triết học phân tích.

Những người viết tiểu sử về ông Anita Burdman Feferman và Solomon Feferman nói rằng, "Cùng với nhà toán học đương thời Kurt Gödel, ông đã thay đổi bộ mặt logic học của thế kỷ XX, đặc biệt thông qua các công trình của ông về khái niệm chân lý và lý thuyết về các mô hình."

Các công trình

Tuyển tập
 1986. The Collected Papers of Alfred Tarski, 4 vols. Givant, S. R., and McKenzie, R. N., eds. Birkhäuser.

 1983 (1956). Logic, Semantics, Metamathematics: Papers from 1923 to 1938 by Alfred Tarski, Corcoran, J., ed. Hackett. 1st edition edited and translated by J. H. Woodger, Oxford Uni. Press. This collection contains translations from Polish of some of Tarski's most important papers of his early career, including The Concept of Truth in Formalized Languages and On the Concept of Logical Consequence discussed above.

Các ấn phẩm của Tarski
 1930 Une contribution a la theorie de la mesure. Fund Math 15 (1930), 42–50.
 1930. (with Jan Łukasiewicz). "Untersuchungen uber den Aussagenkalkul" ["Investigations into the Sentential Calculus"], Comptes Rendus des seances de la Societe des Sciences et des Lettres de Varsovie, Vol, 23 (1930) Cl. III, pp. 31–32 in Tarski (1983): 38–59.
 1931. "Sur les ensembles définissables de nombres réels I", Fundamenta Mathematicae 17: 210–239 in Tarski (1983): 110–142.
 1936. "Grundlegung der wissenschaftlichen Semantik", Actes du Congrès international de philosophie scientifique, Sorbonne, Paris 1935, vol. III, Language et pseudo-problèmes, Paris, Hermann, 1936, pp. 1–8 in Tarski (1983): 401–408.
 1936. "Über den Begriff der logischen Folgerung", Actes du Congrès international de philosophie scientifique, Sorbonne, Paris 1935, vol. VII, Logique, Paris: Hermann, pp. 1–11 in Tarski (1983): 409–420.
 1936 (with Adolf Lindenbaum). "On the Limitations of Deductive Theories" in Tarski (1983): 384–92.
 1994 (1941). Introduction to Logic and to the Methodology of Deductive Sciences. Dover.
 1941. "On the calculus of relations", Journal of Symbolic Logic 6: 73–89.
 1944. "The Semantical Concept of Truth and the Foundations of Semantics," Philosophy and Phenomenological Research 4: 341–75.
 1948. A decision method for elementary algebra and geometry. Santa Monica CA: RAND Corp.
 1949. Cardinal Algebras. Oxford Univ. Press.
 1953 (with Mostowski and Raphael Robinson). Undecidable theories. North Holland.
 1956. Ordinal algebras. North-Holland.
 1965. "A simplified formalization of predicate logic with identity",  Archiv für Mathematische Logik und Grundlagenforschung 7: 61-79
 1969. "Truth and Proof", Scientific American 220: 63–77.
 1971 (with Leon Henkin and Donald Monk). Cylindric Algebras: Part I. North-Holland.
 1985 (with Leon Henkin and Donald Monk). Cylindric Algebras: Part II. North-Holland.
 1986. "What are Logical Notions?", Corcoran, J., ed., History and Philosophy of Logic 7: 143–54.
 1987 (with Steven Givant). A Formalization of Set Theory Without Variables. Vol.41 of American Mathematical Society colloquium publications. Providence RI: American Mathematical Society. ISBN 978-0821810415. Review
 1999 (with Steven Givant). "Tarski's system of geometry" , Bulletin of Symbolic Logic 5: 175–214.
 2002. "On the Concept of Following Logically" (Magda Stroińska and David Hitchcock, trans.) History and Philosophy of Logic 23: 155–196.

Tham khảo

Đọc thêm

Tiểu sử

 Patterson, Douglas. Alfred Tarski: Philosophy of Language and Logic  (Palgrave Macmillan; 2012) 262 pages; biography focused on his work from the late-1920s to the mid-1930s, with particular attention to influences from his teachers Stanislaw Lesniewski and Tadeusz Kotarbinski.

Sách về logic
 The December 1986 issue of the Journal of Symbolic Logic surveys Tarski's work on model theory (Robert Vaught), algebra (Jonsson), undecidable theories (McNulty), algebraic logic (Donald Monk), and geometry (Szczerba). The March 1988 issue of the same journal surveys his work on axiomatic set theory (Azriel Levy), real closed fields (Lou Van Den Dries), decidable theory (Doner and Wilfrid Hodges), metamathematics (Blok and Pigozzi), truth and logical consequence (John Etchemendy), and general philosophy (Patrick Suppes).
 Blok, W. J.; Pigozzi, Don, "Alfred Tarski's Work on General Metamathematics", The Journal of Symbolic Logic, Vol. 53, No. 1 (Mar., 1988), pp. 36–50
 Chang, C.C., and Keisler, H.J., 1973. Model Theory. North-Holland, Amsterdam.  American Elsevier, New York.
 Corcoran, John, and Sagüillo, José Miguel, 2011. "The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper", History and Philosophy of Logic 32: 359–80.
 Corcoran, John, and Weber, Leonardo, 2015. "Tarski’s convention T: condition beta", South American Journal of Logic. 1, 3–32.
 Etchemendy, John, 1999. The Concept of Logical Consequence. Stanford CA: CSLI Publications. ISBN 1-57586-194-1

 Grattan-Guinness, Ivor, 2000. The Search for Mathematical Roots 1870-1940. Princeton Uni. Press.
 Kirkham, Richard, 1992. Theories of Truth. MIT Press.
 Maddux, Roger D., 2006. Relation Algebras, vol. 150 in "Studies in Logic and the Foundations of Mathematics", Elsevier Science.

 Popper, Karl R., 1972, Rev. Ed. 1979, "Philosophical Comments on Tarski's Theory of Truth", with Addendum, Objective Knowledge, Oxford:  319–340.

 Smith, James T., 2010. "Definitions and Nondefinability in Geometry", American Mathematical Monthly 117:475–89.
 Wolenski, Jan, 1989. Logic and Philosophy in the Lvov–Warsaw School. Reidel/Kluwer.

Liên kết ngoài

 Stanford Encyclopedia of Philosophy:
 Tarski's Truth Definitions by Wilfred Hodges.
 Alfred Tarski by Mario Gómez-Torrente.
 Algebraic Propositional Logic by Ramon Jansana. Includes a fairly detailed discussion of Tarski's work on these topics.
 Tarski's Semantic Theory on the Internet Encyclopedia of Philosophy.

Giáo sư Đại học California tại Berkeley
Nhà lý thuyết tập hợp
Triết gia thế kỷ 20
Mất năm 1983
Sinh năm 1901


title: Somatina transvehens

text:
Somatina transvehens là một loài bướm đêm trong họ Geometridae.

Chú thích

Liên kết ngoài

Somatina


title: Nyctemera infuscatum

text:
Nyctemera infuscatum là một loài bướm đêm thuộc phân họ Arctiinae, họ Erebidae.

Chú thích

Liên kết ngoài

Nyctemera


title: Nyctemera loligo

text:
Nyctemera loligo là một loài bướm đêm thuộc phân họ Arctiinae, họ Erebidae.

Chú thích

Liên kết ngoài

Nyctemera


title: Astiphromma peltolatum

text:
Astiphromma peltolatum là một loài tò vò trong họ Ichneumonidae.

Chú thích

Liên kết ngoài

Astiphromma


title: Lời cầu nguyện của người Nga

text:
Lời cầu nguyện của người Nga () là một bài hát được sử dụng làm quốc ca của hoàng gia Nga từ 1816 đến 1833.

Sau khi đánh bại Đệ Nhất Đế chế Pháp, Sa hoàng Aleksandr I của Nga đã đề nghị quốc ca cho Nga. Lời bài hát được viết bởi Vasily Zhukovsky, và âm nhạc của bài quốc ca Anh "Chúa phù hộ Nữ hoàng/Quốc vương" (God Save the Queen/King) đã được sử dụng.

Năm 1833, "Lời cầu nguyện của người Nga" đã được thay thế bằng "Chúa phù hộ Sa hoàng!" (Bozhe, tsarya khrani!). Cả hai bài hát đều bắt đầu với cùng một từ Bozhe, tsarya khrani nhưng khác nhau sau đó.

Một số người coi Chúa phù hộ Sa hoàng quốc ca thực sự đầu tiên của Nga, vì cả lời nói và âm nhạc của nó đều là tiếng Nga. Những người khác nói rằng tiêu đề thuộc về Grob pobedy, razdavaysya!, một bài hát nổi tiếng khác của thời đại, mặc dù nó chưa bao giờ có trạng thái chính thức.

Lời bài hát

Xem thêm
 Chúa phù hộ Sa hoàng!
 Tiếng sấm khải hoàn ca vang!

Tham khảo

Liên kết ngoài
 Lời cầu nguyện của người Nga
 Một bản ghi âm Molitva russkih của ca đoàn Valaam

Quốc ca của Nga


title: Bọ cạp chích

text:
Bọ cạp đốt hay còn gọi là bọ cạp chích hay bọ cạp cắn (Scorpion sting) là vết chích, đốt của các loài bọ cạp mà nhiều trong số đó có thể gây tử vong cho con người vì những loài này có nọc độc nguy hiểm. Những loài bọ cạp mang nọc độc gây chết người thường chỉ có ở châu Phi, Trung Đông và châu Mỹ còn nhìn chung, nọc độc của đa số loài bọ cạp không gây hại nhiều đối với con người.

Cơ chế

Bọ cạp dùng nọc độc để tấn công con mồi của nó nhưng với con người nó sẽ chích khi cảm thấy bị nguy hiểm nhưng hầu hết con người không biết điều này. Bọ cạp nói chung khá nhút nhát, chúng chỉ chích khi bắt mồi hay tự vệ, khi nguy hiểm, bọ cạp thường bỏ chạy hoặc đứng yên. Cú chích của nó được thực hiện bằng phần đuôi gồm 6 đốt (đốt đầu tiên như đốt bụng cuối cùng), đốt cuối cùng mang nọc độc. Đốt cuối lần lượt gồm một túi chứa, một cặp tuyến độc và một mũi tiêm nọc độc.

Các loài bọ cạp khác đều có độc làm hủy thần kinh (Hemiscorpius lepturus là phá hủy tế bào). Những độc tố thần kinh này chứa một lượng nhỏ protein, natri và cation kali. Triệu chứng đơn giản nhất sau khi bị bọ cạp chích là chỗ đau tê cứng trong vài ngày. Đa phần khi bị bọ cạp cắn, các nạn nhân sẽ xuất hiện triệu chứng rát bỏng, dị cảm tại chỗ hay sưng tấy. Những tổn thương trên da này sẽ mất đi sau vài giờ đồng hồ ngoại trừ những biến chứng khiến cơ thể bị nhiễm độc và sốc phản vệ

Nọc độc bọ cạp có thể gây ra các phản ứng khác như đau, tê cứng hay sưng phồng. Bọ cạp thật ra không đủ nọc để giết chết một người trưởng thành khỏe mạnh. Một vài người bị dị ứng với bọ cạp có thể chết nhanh hơn. Bọ cạp có khả năng điều chỉnh lượng nọc chích, thông thường 0,1-0,6 mg. Bọ cạp có hai loại nọc: loại nhẹ chỉ làm đối phương choáng váng và loại mạnh đủ để giết chết kẻ thù.

Các loài
Một vài loài bọ cạp, chủ yếu trong họ Buthidae có thể gây nguy hiểm tới con người và những loài hiểm nhất là Leiurus quinquestriatus, các loài trong chi Parabuthus, Tityus, Centruroides, Androctonus. Loài bọ cạp giết người nhiều nhất là Androctonus australis:

 Leiurus quinquestriatus hay còn gọi là tử thần, thần chết sa mạc (Deathstalker), là một loài bọ cạp có nọc độc mạnh được tìm thấy trong sa mạc và môi trường sống cây bụi từ Bắc Phi qua Trung Đông, nọc độc của nó là một hỗn hợp mạnh mẽ của chất độc thần kinh, khi nọc độc từ bọ cạp này gây đau dữ dội nhưng chưa đủ giết chết một người trưởng thành khỏe mạnh nhưng nếu trẻ em và người già ốm yếu thì rủi ro rất cao.
 Bọ cạp đuôi béo Bắc Phi (Androctonus australis) phân bố ở Bắc Phi, Somalia, Trung Đông, Pakistan và Ấn Độ, Đây là một trong những loài bọ cạp độc giết người nhiều nhất, người bị nó chích có thể chết, thật ra khi bị dị ứng với bọ cạp có thể chết nhanh hơn.
 Bọ cạp đỏ Ấn Độ được xem là một trong những loài bọ cạp nguy hiểm nhất thế giới do chúng có độc tố mạnh, nó chỉ phát triển kích thước đến khoảng 50–90 mm, nên rất khó phát hiện, thông thường nó giết chết khoảng 50 -80 người hàng năm do đó cần kiểm tra giày vì chúng có thể ẩn ấp trong đó.
 Bọ cạp Arizona Bark là loài bọ cạp nhà thường gặp nhất ở Arizona. Nọc độc của chúng gây đau cấp tính và có thể dẫn sùi bọt mép, khó thở, co giật cơ, chân tay bất động. Mặc dù hiếm thấy trường hợp tử vong nhưng cơn đau do nó mang đến kéo dài rất lâu, ít nhất là qua ba ngày.
 Bọ cạp quỷ (Hoffmannius spinigerus) ở sa mạc Sonora, tây nam nước Mỹ được coi là một loài gây hại ở bang Arizona vì chúng thường xâm nhập vào trong nhà dân và chích đốt họ. Kẻ thù của chúng là loài bọ chiến binh.
 Bọ cạp đỏ hay Bọ cạp xanh (Rhopalurus junceus) sống ở hòn đảo của Cuba, Cộng hòa Dominica và các khu vực Trung Mỹ. Mỗi năm ở Cuba có hàng trăm người bị bọ cạp xanh chích, nhưng nọc độc của nó có chứa một liều LD50 của 8,0 mg/kg, đó là hầu như không được coi là nguy hiểm.
 Bọ cạp vàng Brasil (Tityus serrulatus) là một trong những loài bọ cạp độc gây tử vong cho con người lấn nhất ở Braxin. Nọc độc của nó có thể gây ra bệnh nặng bao gồm viêm tụy, và trong giới trẻ, người già và ốm yếu thậm chí còn gây tử vong. Độc tố của loài này là độc tố phá hủy hồng cầu và gây co thắt ở tim kết hợp với tràn dịch ở phổi tạo ra hiện tượng phù phổi.

 Ở Việt Nam có hai loài bọ cap phổ biến là bọ cạp đen và bọ cạp nâu. Bọ cạp ở Việt Nam có độc tính không cao, vết chích của bọ cạp Việt Nam thường gây sưng, nóng, đỏ và đau nhức trong vòng 12 giờ, nhưng không gây chết người. Có khi nạn nhân chỉ cảm thấy hơi bị ngứa rát ở chỗ bị cắn nhưng liền sau đó có người bị chóng mặt, đổ mồ hôi, chảy nước mắt, nước mũi, buồn nôn, cứng chân tay, nặng hơn là co giật toàn thân, bị rối loạn nhịp tim, nếu bị bọ cạp lớn hơn ngón tay cái đốt, nọc độc sẽ rất mạnh, người lớn mất vài ngày mới khỏi. Riêng trẻ em khi bị bọ cạp đốt nên đưa đi bác sĩ để được khám chữa kịp thời

Sơ cứu
Khi bị chích, phải xử lý càng sớm càng tốt, nếu để quá sáu giờ nguy cơ nhiễm khuẩn rất cao, đặc biệt với người cao tuổi và người bị suy giảm miễn dịch. Khi bị bọ cạp cắn cần làm sạch vết thương, sát trùng tại vết chích bằng Povidine 10% hoặc cồn 70 độ, chườm lạnh để giảm sưng. Uống thuốc giảm đau như aspirin, paracetamol và thuốc kháng histamin H1 làm dịu như phenergan, chlorpheniram, diphenhydramin. Đôi khi phải dùng tới corticosteroid, dapson để cải thiện tổn thương da. Bệnh nhân không nên tự ý đi mua thuốc điều trị, điều này nếu chủ quan sẽ dễ gây những biến chứng khó lường.

Chú thích

Bọ cạp
Bộ Bọ cạp


title: Cổng Mill ở Stargard

text:
Cổng Mill () là một trong bốn cổng thời trung cổ ở thành phố Stargard, ở phía tây bắc Ba Lan. Đây là một di tích độc đáo về loại hình này ở châu Âu, cả do kiến trúc và chức năng của nó trong thời trung cổ. Cổng Mill đã được công nhận là một di tích lịch sử Nhà thờ ngày 17 tháng 9 năm 2010 theo Quyết định của Tổng thống Cộng hòa Ba Lan.

Lịch sử
Đây là một trong những kiến trúc đặc trưng nhất ở Stargard. Nó được xây dựng vào thế kỷ 15, trên con sông Młyński. Biểu tượng cổng Mill đã được sử dụng phổ biến trong những con dấu và huy hiệu (cũ) của thành phố cho đến thế kỷ 20. Chức năng của cổng là kiểm soát và thu phí cầu đường của những con tàu vận chuyển hàng hóa qua sông. Đây đã được đặt làm chi nhánh của Hiệp hội Du lịch và Tham quan Ba Lan (PTTK). Trong những năm tiếp theo, đây được chọn làm trụ sở của Hiệp hội những người yêu thích nghệ thuật "Cổng" của thành phố Stargard. Hiện tại, Cổng Mill là trụ sở của Hiệp hội Stargard Knight Brotherhood "GRYF".

Kiến trúc
Cổng Mill có chân đế hình chữ nhật và các cạnh 14 x 6 m được làm bằng gạch. Phần chính của cổng là một tòa nhà hai tầng với hai tòa tháp hình bát giác cao 28 m, trên đỉnh hình chóp. Dòng sông chảy qua trong lòng của cổng, nhìn từ bên ngoài (phía từ thành phố) thì cổng có ba cửa sổ nhỏ, còn hướng ngược lại có 2 cửa sổ nhỏ. Mặt tiền của các bức tường bên ngoài từ phía thị trấn được trang trí công phu. Cổng đã trải qua nhiều lần cải tạo, tu sửa, từ đó hình dáng của cánh cổng đã thay đổi. Trong nửa đầu của Vào thế kỷ XIX, cánh cổng đóng vai trò là nhà tù, cổng vòm sau đó được xây dựng với những bức tường bắt vít. Vào nửa sau của thế kỷ XIX, cổng đã được biến đổi theo phong cách tân Gothic.

Hình ảnh

Tham khảo

Công trình xây dựng tại Ba Lan
Du lịch Ba Lan


title: Boarmia panconita

text:
Boarmia panconita là một loài bướm đêm trong họ Geometridae.

Chú thích

Tham khảo

Boarmia


title: Colostygia sauteri

text:
Colostygia sauteri là một loài bướm đêm trong họ Geometridae.

Chú thích

Tham khảo

Colostygia


title: Pompeii (bài hát)

text:
"Pompeii" là một bài hát của ban nhạc người Anh quốc Bastille nằm trong album phòng thu đầu tay của họ, Bad Blood (2012). Nó được phát hành vào ngày 12 tháng 1 năm 2013 như là đĩa đơn thứ tư trích từ album bởi Virgin Records, đồng thời là đĩa đơn đầu tiên trong sự nghiệp của nhóm được phát hành rộng rãi trên toàn cầu, sau một loạt những đĩa đơn chỉ được phát hành giới hạn ở Vương quốc Anh. Bài hát được viết lời và sản xuất bởi giọng ca chính của Bastille Dan Smith, bên cạnh sự tham gia đồng sản xuất từ Mark Crew, cộng tác viên quen thuộc xuyên suốt sự nghiệp của họ. "Pompeii" là một bản indie rock kết hợp với những yếu tố từ synth-pop, trong đó tiêu đề và nội dung lời bài hát đề cập đến một thành phố cổ cùng tên ở Roma vốn đã bị phá hủy bởi vụ phun trào núi Vesuvius năm 79. Một bản phối lại của nó được thực hiện bởi Audien đã gặt hái một đề cử giải Grammy cho Thu âm phối lại xuất sắc nhất, Phi cổ điển tại lễ trao giải thường niên lần thứ 57.

Sau khi phát hành, "Pompeii" nhận được những phản ứng tích cực từ các nhà phê bình âm nhạc, trong đó họ đánh giá cao giai điệu tràn đầy năng lượng, chất giọng của Smith cũng như quá trình sản xuất nó. Ngoài ra, bài hát còn gặt hái nhiều giải thưởng và đề cử tại những lễ trao giải lớn, bao gồm đề cử tại giải Brit năm 2014 cho Đĩa đơn Anh quốc của năm và tại giải thưởng âm nhạc Billboard năm 2015 cho Top Bài hát Rock. "Pompeii" cũng tiếp nhận những thành công vượt trội về mặt thương mại với việc đứng đầu bảng xếp hạng ở Ireland, cũng như lọt vào top 10 ở hầu hết những quốc gia nó xuất hiện, bao gồm vươn đến top 5 ở những thị trường lớn như Úc, Áo, Ý, Ba Lan, Thụy Sĩ và Vương quốc Anh. Tại Hoa Kỳ, bài hát đạt vị trí thứ năm trên bảng xếp hạng Billboard Hot 100, trở thành đĩa đơn đầu tiên của nhóm vươn đến top 5 cũng như tiêu thụ được hơn 3.4 triệu bản tại đây. Tính đến nay, nó đã bán được hơn 10 triệu bản trên toàn cầu, trở thành một trong những đĩa đơn bán chạy nhất mọi thời đại.

Video ca nhạc cho "Pompeii" được đạo diễn bởi Jesse John Jenkins, trong đó bao gồm những cảnh Smith chạy trốn khỏi những người có vẻ ngoài kỳ lạ trên những con phố hiu quạnh ở Los Angeles, và cuối cùng đi đến Palm Springs ở California, được xem như hình ảnh ẩn dụ cho vụ phung trào núi lửa từng xảy ra ở Pompeii năm 79 khiến cả thành phố bị chôn vùi. Để quảng bá bài hát, nhóm đã trình diễn nó trên nhiều chương trình truyền hình và lễ trao giải lớn, bao gồm Conan, Dancing on Ice, The Ellen DeGeneres Show, Jimmy Kimmel Live!, The Jonathan Ross Show, Saturday Night Live và giải Brit năm 2014, nơi họ trình diễn một bản mashup với đĩa đơn năm 2013 của Rudimental và Ella Eyre "Waiting All Night", cũng như trong nhiều chuyến lưu diễn của họ. Được ghi nhận là bài hát trứ danh trong sự nghiệp của Bastille, "Pompeii" đã xuất hiện trong nhiều tác phẩm điện ảnh và truyền hình, như The Block, Coronation Street và Reign.

Danh sách bài hát

Tải kĩ thuật số
 "Pompeii" – 3:34
 "Poet" – 2:44
 "Pompeii" (Tyde phối lại) – 4:22
 "Pompeii" (Monsieur Adi phối lại) – 4:23
 "Pompeii" (Alex Krazy phối lại) – 3:37
 "Pompeii" (Audien phối lại) — 4:52

Đĩa 7"
 "Pompeii" – 3:34
 "Poet" – 2:44

Đĩa CD
 "Pompeii" – 3:34
 "Pompeii" (Kat Krazy phối) – 3:36

Tải kĩ thuật số (Màn trình diễn tại giải Brit)
"Pompeii/Waiting All Night" (với Rudimental hợp tác với Ella Eyre)}} – 5:47

Xếp hạng

Xếp hạng tuần

Xếp hạng cuối năm

Xếp hạng mọi thời đại

Chứng nhận

!scope="col" colspan="3"| Streaming
|-

Lịch sử phát hành

Xem thêm
Danh sách đĩa đơn bán chạy nhất thế giới
Billboard Hot 100 cuối năm 2014

Tham khảo

Liên kết ngoài

Đĩa đơn năm 2013
Bài hát năm 2013
Bài hát của Bastille
Đĩa đơn quán quân Billboard Alternative Songs
Đĩa đơn quán quân Billboard Hot Dance Club Songs
Đĩa đơn quán quân tại Ireland
Bài hát dựa trên sự kiện có thật
Pompeii trong văn hóa đại chúng
Đĩa đơn của Virgin Records


title: Cảnh Dương (định hướng)

text:
Cảnh Dương có thể là một trong số các địa danh sau:

Xã Cảnh Dương, huyện Quảng Trạch, tỉnh Quảng Bình
Bãi biển Cảnh Dương: địa điểm du lịch nổi tiếng tại xã Lộc Vĩnh, huyện Phú Lộc, tỉnh Thừa Thiên Huế


title: Bdelyrus bromeliatilis

text:
Bdelyrus bromeliatilis là một loài bọ cánh cứng trong họ Bọ hung (Scarabaeidae).

Chú thích

Liên kết ngoài

Bdelyrus


title: Tetrernia tetrommata

text:
Tetrernia tetrommata là một loài bướm đêm trong họ Crambidae.

Chú thích

Liên kết ngoài

Tetrernia


title: Hemeroblemma apistis

text:
Hemeroblemma apistis là một loài bướm đêm trong họ Erebidae.

Chú thích

Liên kết ngoài

Hemeroblemma


title: Campodorus atrofemorator

text:
Campodorus atrofemorator là một loài tò vò trong họ Ichneumonidae.

Chú thích

Liên kết ngoài

Campodorus


title: Quân A.P

text:
Phạm Anh Quân (sinh ngày 24 tháng 01 năm 1997 tại Hà Nội), thường được biết đến với nghệ danh Quân A.P là một ca sĩ  người Việt Nam. Anh tốt nghiệp trường Đại học Văn hóa - Nghệ thuật Quân đội.

Năm 2016, Quân A.P tạo một kênh YouTube rồi đăng tải những đoạn cover bài hát yêu thích của mình lên kênh riêng, cho đến khi anh cover bài hát "Đừng ai nhắc về anh ấy" của ca sĩ Trà My Idol và nhận được hiệu ứng tích cực từ những người nghe âm nhạc. Cho đến tháng 5/2019, Quân A.P đã cho ra mắt một sản phẩm âm nhạc mang tên "Ai là người thương em", bắt đầu con đường ca hát chuyên nghiệp.

Cuộc đời và sự nghiệp

Trước khi bắt đầu sự nghiệp âm nhạc
Gia đình anh đã phản đối vì muốn anh theo học một trường đại học như bao chàng trai khác. Nhưng với đam mê và tính cách bướng bỉnh của mình, anh đã mạnh dạn đi theo tiếng gọi con tim mình.

Ca sĩ Tuấn Hưng chính là thần tượng của anh và anh đã may mắn có cơ hội gặp gỡ và trò chuyện cùng nam ca sĩ. Từ sau lần gặp ấy, Quân A.P định hướng rõ lợi thế, cũng như những điểm cần cải thiện cho giọng hát của mình. Là ca sĩ trẻ, chưa được đào tạo chuyên sâu nhưng chất giọng, tình cảm và đam mê dành cho bài hát là những điều quan trọng nhất cần chú ý.  Quân A.P cũng hiểu rõ điều này, và anh cần rèn luyện và trao dồi thanh giọng nhiều hơn nữa nếu muốn bước lên đỉnh cao.

Năm 2019: Bắt đầu âm nhạc với "Ai Là Người Thương Em"
Sau thời gian dài cover nhiều bài hát và đạt được thành tích "khủng", cùng với ngoại hình đẹp trai chuẩn, Quân A.P được các bạn trẻ yêu thích. Dù đã nhận được bài hát Ai là người thương em từ một năm trước từ nhạc sĩ Thanh Hưng, nhưng anh vẫn chưa đủ tự tin để cho ra sản phẩm của mình thời điểm đó

Ngày 09/05/2019, Quân A.P chính thức debut MV Ai là người thương em và chính thức đánh dấu bước ngoặt anh bước vào con đường ca hát chính thức.

Sau MV Ai là người thương em,Quân A.P  đã cho ra mắt 2 sản phẩm âm nhạc khác là: Còn Gì Đau Hơn Chữ Đã Từng & You Are My Crush

Năm 2020: Thăng hoa cùng âm nhạc và giải thưởng đầu tay trong sự nghiệp
Đầu năm 2020: anh chính là chủ nhân của giải thưởng Nghệ sĩ mới của năm do VLIVE.TV tổ chức

Sau đó, anh chính thức tung ra sản phẩm Bông Hoa Đẹp Nhất đánh dấu sự trưởng thành sau khi tách khỏi công ty quản lý cũ. Và đây là MV thứ tư của anh đạt được 20 triệu lượt xem trên YouTube, xuất hiện trên bảng xếp hạng 100 ca khúc hot nhất toàn cầu vào thời điểm đó đã giúp anh đạt được 1.000.000 lượt đăng ký kênh.

Năm 2021: Tham gia The Heroes - Thần Tượng Đối Thần Tượng và giải thưởng quốc tế đầu tiên trong sự nghiệp
Tháng 2/2021: Anh chính thức tung tung ra sản phẩm âm nhạc "Lời Xin Lỗi Vụng Về"

Đầu tháng 4, anh xác nhận tham gia đường đua The Heroes cùng với DJ DSmall và đã về đội của master Nguyễn Hải Phong

Tháng 9/2021: anh ra mắt sản phẩm âm nhạc "Nhắn tới khoảng trời em" trong giai đoạn bùng dịch ở Việt Nam

Ngày 11/12/2021: Quân A.P chính là chủ nhân của giải thưởng MAMA 2021 với hạng mục "Best Asian Artist"

Sản phẩm âm nhạc

Cá nhân

Sản phẩm kết hợp

Chương trình tham gia

Giải thưởng và đề cử

Liên kết ngoài
Quân A.P trên Facebook
Quân A.P trên Facebook
Quân A.P trên YouTube
Quân A.P trên Instagram

Tham khảo

Sinh năm 1997
Nhân vật còn sống
Ca sĩ tiếng Việt
Thần tượng Việt Nam
Nam ca sĩ thế kỷ 21
Người họ Phạm tại Việt Nam
Người họ Phạm
Ca sĩ người Hà Nội
Sinh tại Hà Nội


title: Pales irrequieta

text:
Pales irrequieta là một loài ruồi trong họ Tachinidae.

Chú thích

Liên kết ngoài

Pales


title: Chrysocraspeda panconita

text:
Chrysocraspeda panconita là một loài bướm đêm trong họ Geometridae.

Chú thích

Tham khảo

Chrysocraspeda


title: Sân bay Ouésso

text:
Sân bay Ouésso  là một sân bay ở Ouésso, tỉnh Sangha, Cộng hòa Congo.

Vị trí và cơ sở vật chất
Sân bay nằm cách thị trấn khoảng 1 km về phía tây nam, trên độ cao 1158 ft (353 m) so với mực nước biển. Nó có một đường băng trải nhựa dài 3000 m.

Hãng hàng không và điểm đến

Xem thêm

 Danh sách sân bay tại Cộng hòa Congo

Tham khảo

Liên kết ngoài

 OpenStreetMap - Ouésso
 OurAirports - Ouésso

Sân bay Cộng hòa Congo
Tỉnh Sangha


title: Acrolyta discrepa

text:
Acrolyta discrepa là một loài tò vò trong họ Ichneumonidae.

Chú thích

Liên kết ngoài

Acrolyta


title: Xylopteryx phaeochyta

text:
Xylopteryx phaeochyta là một loài bướm đêm trong họ Geometridae.

Chú thích

Liên kết ngoài

Xylopteryx


title: Patissa chrysozona

text:
Patissa chrysozona là một loài bướm đêm trong họ Crambidae.

Chú thích

Liên kết ngoài

Patissa


title: Tưởng Định Chi

text:
Tưởng Định Chi (sinh tháng 9 năm 1954) là chính khách nước Cộng hòa Nhân dân Trung Hoa. Ông đã dành phần lớn sự nghiệp chính trị của mình ở Giang Tô và từng đảm nhiệm Bí thư Thành ủy Vô Tích, Phó Tỉnh trưởng Thường trực Chính phủ nhân dân tỉnh Giang Tô. Năm 2005, ông được bổ nhiệm làm Phó Chủ tịch Ủy ban Giám sát và Quản lý Ngân hàng Trung Quốc. Tháng 2 năm 2012, ông nhậm chức Tỉnh trưởng Chính phủ Nhân dân tỉnh Hải Nam. Tháng 1 năm 2015, ông lại về Giang Tô làm Phó Chủ nhiệm Ủy ban Thường vụ Đại hội đại biểu nhân dân tỉnh. Hai năm sau, tháng 2 năm 2017, Tưởng Định Chi nhậm chức Chủ tịch Chính hiệp tỉnh Giang Tô và giữ chức đến tháng 1 năm 2018.

Tiểu sử

Thân thế
Tưởng Định Chi là người Hán sinh tháng 9 năm 1954, người Lật Dương, tỉnh Giang Tô.

Giáo dục
Tháng 9 năm 1983 đến tháng 7 năm 1985, Tưởng Định Chi theo học khoa triết học tại Đại học Nam Kinh.

Tháng 9 năm 2002 đến tháng 7 năm 2005, ông theo học chuyên ngành chính trị học lớp nghiên cứu sinh tại chức cán bộ cấp tỉnh bộ, Học viện Hàm thụ thuộc Trường Đảng Trung ương Đảng Cộng sản Trung Quốc.

Sự nghiệp
Tháng 3 năm 1977, Tưởng Định Chi theo học Trường Sư phạm 2 tại Địa khu Trấn Giang. Tháng 7 năm 1978, Tưởng Định Chi gia nhập Đảng Cộng sản Trung Quốc. Tháng 1 năm 1979, sau khi tốt nghiệp cho đến tháng 9 năm 1983, ông công tác ở Cục Giáo dục địa khu Trấn Giang, cán sự Ban Tổ chức địa ủy Trấn Giang.

Tháng 7 năm 1985, sau khi tốt nghiệp, ông về công tác ở Ban Tổ chức Thành ủy Trấn Giang, tỉnh Giang Tô. (từ tháng 6 năm 1987 đến tháng 6 năm 1988, ông tạm giữ chức Phó Bí thư Đảng ủy hương Đông Xương, huyện Cú Dung và Phó Trưởng Ban Tổ chức Huyện ủy Cú Dung nay là thành phố cấp huyện Cú Dung, tỉnh Giang Tô).

Tháng 3 năm 1989, ông được bổ nhiệm giữ chức Phó Trưởng Ban Tổ chức Thành ủy Trấn Giang, tỉnh Giang Tô. Tháng 1 năm 1991, ông chuyển sang làm Phó Tổng Thư ký Thành ủy Trấn Giang. Tháng 7 năm 1991, ông được bổ nhiệm giữ chức Chủ nhiệm Văn phòng Thành ủy Trấn Giang kiêm Phó Tổng Thư ký Thành ủy Trấn Giang. Tháng 10 năm 1994, ông được luân chuyển làm Bí thư Thị ủy huyện cấp thị Dương Trung, thành phố Trấn Giang.

Tháng 11 năm 1996, ông được bổ nhiệm làm Phó Trưởng Ban Tổ chức Tỉnh ủy Giang Tô. Tháng 5 năm 2000, ông nhậm chức Chủ nhiệm Văn phòng Ủy ban Biên chế cơ cấu tỉnh Giang Tô kiêm Phó Trưởng Ban Tổ chức Tỉnh ủy Giang Tô.

Tháng 8 năm 2000, ông được luân chuyển làm Bí thư Thành ủy Vô Tích, tỉnh Giang Tô. Tháng 11 năm 2001, ông được bầu làm Ủy viên Ban Thường vụ Tỉnh ủy Giang Tô kiêm Bí thư Thành ủy Vô Tích. Tháng 2 năm 2003, ông được bổ nhiệm giữ chức Ủy viên Ban Thường vụ Tỉnh ủy, Phó Bí thư Ban Cán sự Đảng Chính phủ nhân dân tỉnh Giang Tô, Phó Tỉnh trưởng Thường trực Chính phủ nhân dân tỉnh Giang Tô. Tháng 11 năm 2003, ông kiêm nhiệm chức vụ Viện trưởng Học viện Hành chính tỉnh Giang Tô.

Tháng 11 năm 2005, Tưởng Định Chi được bổ nhiệm làm Phó Bí thư Đảng ủy, Phó Chủ tịch Ủy ban Giám sát và Quản lý Ngân hàng Trung Quốc.

Tháng 12 năm 2010, ông được luân chuyển làm Ủy viên Ban Thường vụ Tỉnh ủy Hải Nam. Tháng 1 năm 2011, ông được bổ nhiệm giữ chức Phó Bí thư Ban Cán sự Đảng Chính phủ nhân dân tỉnh Hải Nam, Phó Tỉnh trưởng Thường trực Chính phủ nhân dân tỉnh Hải Nam. Tháng 7 năm 2011, ông kiêm nhiệm chức vụ Phó Bí thư Tỉnh ủy Hải Nam, Hiệu trưởng Trường Đảng Tỉnh ủy Hải Nam.

Tháng 8 năm 2011, Tưởng Định Chi được bổ nhiệm làm Bí thư Ban Cán sự Đảng Chính phủ nhân dân tỉnh Hải Nam, quyền Tỉnh trưởng Chính phủ nhân dân tỉnh Hải Nam. Tháng 2 năm 2012, ông chính thức được bầu giữ chức vụ Tỉnh trưởng Chính phủ nhân dân tỉnh Hải Nam. Ngày 14 tháng 11 năm 2012, tại phiên bế mạc của Đại hội Đảng Cộng sản Trung Quốc lần thứ 18, ông được bầu làm Ủy viên Ủy ban Trung ương Đảng Cộng sản Trung Quốc khóa XVIII.

Tháng 12 năm 2014, Tưởng Định Chi được miễn nhiệm chức vụ Phó Bí thư Tỉnh ủy Hải Nam, Tỉnh trưởng Chính phủ Nhân dân tỉnh Hải Nam.

Tháng 1 năm 2015, ông nhậm chức Bí thư Ban Cán sự Đảng ủy ban Thường vụ Đại hội đại biểu nhân dân tỉnh Giang Tô. Ngày 1 tháng 2 năm 2015, ông được bầu bổ sung làm Bí thư Ban Cán sự Đảng, Phó Chủ nhiệm Thường trực Ủy ban Thường vụ Đại hội đại biểu nhân dân tỉnh Giang Tô.

Ngày 9 tháng 2 năm 2017, ông được bầu làm Chủ tịch Ủy ban Hội nghị Hiệp thương Chính trị Nhân dân Trung Quốc tỉnh Giang Tô.

Ngày 30 tháng 3 năm 2017, hội nghị lần thứ 29 của Uỷ ban Thường vụ Đại hội đại biểu nhân dân khóa XII tỉnh Giang Tô đã quyết định chấp nhận yêu cầu từ chức Phó Chủ nhiệm Ủy ban Thường vụ Đại hội đại biểu nhân dân tỉnh Giang Tô của Tưởng Định Chi.

Tháng 1 năm 2018, ông được bầu làm Ủy viên Ủy ban Toàn quốc Hội nghị Hiệp thương Chính trị Nhân dân Trung Quốc khóa XIII nhiệm kỳ 2018 đến năm 2023. Ngày 29 tháng 1 năm 2018, tại hội nghị lần thứ nhất khóa XII Chính hiệp tỉnh Giang Tô, Tưởng Định Chi được miễn nhiệm chức vụ Chủ tịch Ủy ban Hội nghị Hiệp thương Chính trị Nhân dân Trung Quốc tỉnh Giang Tô, kế nhiệm ông là Phó Bí thư Tỉnh ủy Giang Tô Hoàng Lị Tân.

Ngày 16 tháng 3 năm 2018, hội nghị lần thứ nhất của Ủy ban Thường vụ Ủy ban Toàn quốc Chính hiệp khóa XIII thông qua bổ nhiệm Tưởng Định Chi làm Phó Chủ nhiệm Ủy ban Đề án của Chính hiệp toàn quốc khóa XIII nhiệm kỳ 2018 đến năm 2023.

Xem thêm

 Tỉnh trưởng Chính phủ Nhân dân
 Tỉnh trưởng Chính phủ Nhân dân tỉnh Hải Nam

Tham khảo

Tỉnh trưởng Chính phủ Nhân dân
Tỉnh trưởng Chính phủ Nhân dân tỉnh Hải Nam
Viên chức chính quyền ở Giang Tô
Người Giang Tô
Chính khách từ Thường Châu
Ủy viên Ủy ban Trung ương Đảng Cộng sản Trung Quốc khóa XVIII


title: Got It?

text:
Got It? là mini album đầu tay của nhóm nhạc nam Hàn Quốc GOT7. Đĩa mở rộng này được phát hành vào ngày 16 tháng 1 năm 2014. "Girls Girls Girls" là ca khúc chủ đề trong đĩa này.

Danh sách bài hát
※ Được tô đậm là ca khúc chủ đề để quảng bá album.

Bảng xếp hạng

Album

Doanh số

Đĩa đơn

Girls Girls Girls

Các bài hát khác trên bảng xếp hạng

Chú thích

Liên kết ngoài

EP đầu tay năm 2014
EP tiếng Triều Tiên
Album của GOT7
EP dance-pop
EP của JYP Entertainment


title: Trực họa ngoài trời

text:
nhỏ|269x269px|Họa sĩ trực họa ngoài trời trên bờ biển Côte d'Argent, Hourtin, Pháp
En plein air (; trong tiếng Pháp có nghĩa là 'ngoài trời'), hay vẽ plein air, trực họa ngoài trời, là hoạt động vẽ ở ngoài trời.

Phương pháp vẽ này khác biệt với vẽ tranh trong xưởng vẽ hay vẽ theo các quy tắc của hội họa hàn lâm, vốn sẽ tạo ra một hình ảnh đã được xác định từ trước. Lý thuyết "en plein air" gắn liền với Pierre-Henri de Valenciennes (1750–1819), người đầu tiên giải thích kỹ càng thuật ngữ này trong chuyên luận Sự phản chiếu và lời khuyên cho sinh viên trong việc vẽ tranh, đặc biệt là phong cảnh (Reflections and Advice to a Student on Painting, Particularly on Landscape, 1800). Trong tác phẩm này, ông đã phát triển các khái niệm của phương pháp vẽ tranh phong cảnh mà ở đó họa sĩ sẽ trực tiếp vẽ cảnh đang nhìn lên khung vải.

Phương pháp này cho phép họa sĩ nắm bắt tốt hơn những thay đổi của thời tiết và ánh sáng. Sự ra đời của khung vải và giá vẽ dễ mang theo đã mở đường cho phương pháp này phát triển, đặc biệt tại Pháp. Đầu thập niên 1830, họa phái Barbizon, chuyên vẽ tranh dưới ánh sáng tự nhiên, có tầm ảnh hưởng rất lớn.

Đặc trưng nổi bật nhất của họa phái này là đặc tính tông màu, màu sắc, nét vẽ phóng khoáng và đường nét mềm mại. Những đặc tính này cũng xuất hiện tại họa phái sông Hudson và trường phái hội họa ấn tượng giữa thế kỷ 19, với không nhiều thay đổi.

Lịch sử

Trang thiết bị và thách thức
"Hộp giá vẽ" (box easel), thường được gọi là "Hộp giá vẽ kiểu Pháp" (French box easel) hoặc "giá vẽ ngoài trời" (field easel, plein air easel), được phát minh vào giữa thế kỷ 19. Không biết ai là người phát minh ra thiết bị này, nhưng chiếc giá vẽ có chân tương tự như chân kính viễn vọng này cực kỳ dễ mang theo người, lại thêm hộp đựng sơn cùng bảng pha màu chứa bên trong, khiến rất dễ mang nó vào vẽ trong rừng hoặc trên đồi. Đến tận ngày nay, thiết bị này vẫn rất phổ biến bởi có thể gấp gọn nó thành một cái vali dễ cất giữ.

Hộp Pochade là một hộp nhỏ gọn để họa sĩ cất giữ tất cả bảng màu, họa cụ bên trong và có thể đặt tác phẩm vào mặt trong của nắp hộp.

Thách thức với loại hình vẽ en plein air gồm có loại sơn sử dụng để vẽ ngoài trời, động vật, côn trùng, người đi lại, và điều kiện môi trường như là thời tiết. Màu acrylic có thể cứng lại và khô nhanh hơn trong điều kiện thời tiết nắng ấm, và một khi khô thì không thể tái sử dụng lại được. Ngược lại, thời tiết ẩm thấp hay mưa gió cũng là một thách thức. Sự ra đời của vẽ plein air tạo tiền đề cho phát minh sơn acrylic. Trước đó, chất liệu vẽ truyền thống, gắn bó lâu năm với en plein air là sơn dầu.

Sự ủng hộ
nhỏ|Họa sỹ người Úc Arthur Streeton đang vẽ tranh en plein air, ảnh chụp 1892 tại Sydney
Các họa sĩ ấn tượng Pháp như Claude Monet, Camille Pissarro, Alfred Sisley, và Pierre-Auguste Renoir rất ủng hộ vẽ plein air, phần nhiều các tác phẩm của họ đều được vẽ xong ngoài trời dưới ánh sáng khuếch tán của một cái dù lớn màu trắng. Claude Monet là một họa sĩ plein air nhiệt thành. Ông đưa ra kết luận rằng để đạt tới được sự gần gũi, trung thực tới bối cảnh ngoài trời tại một thời điểm nhất định, người vẽ cần phải ra bên ngoài để làm việc, chứ đừng chỉ vẽ cảnh bên ngoài nhìn từ trong xưởng vẽ. Nửa sau thế kỷ 19 và đầu thế kỷ 20 tại Nga, các họa sĩ như Vasily Polenov, Isaac Levitan, Valentin Serov, Konstantin Korovin và I. E. Grabar nổi tiếng vì vẽ tranh en plein air.

Người ủng hộ hội họa plein air không chỉ ở Cựu thế giới. Các họa sĩ ấn tượng người Mỹ, chẳng hạn như họa phái Old Lyme, cũng là những người nhiệt tình vẽ en plein air. Giới họa sĩ ấn tượng Mỹ nổi tiếng với cách vẽ tranh này có thể kể đến Guy Rose, Robert William Wood, Mary DeNeale Morgan, John Gamble, và Arthur Hill Gilbert. Ở Canada, Nhóm Bảy người (the Group of Seven) và Tom Thomson là những người ủng hộ en plein air.

Một số họa sĩ tiêu biểu

 Peter Seitz Adams
 Frédéric Bazille
 Henri Biva
 Ralph Wallace Burton
 Mary Cassatt
 Jack Cassinetto
 William Merritt Chase
 Eugène Chigot
 Robert Clunie
 John Constable
 Lovis Corinth
 William Didier-Pouget
 Rackstraw Downes
 Carl Eytel
 Francesco Filippini
 David Gallup
 Antonio López García
 Arthur Hill Gilbert
 Vincent van Gogh
 I. E. Grabar
 George Hetzel
 Winslow Homer
 George Inness
 Konstantin Korovin
 Henri Le Sidaner
 Isaac Levitan
 Theodore Lukits
 The Macchiaioli
 Marvin Mangus
 Frederick McCubbin
 Stanisław Masłowski
 Willard Metcalf
 Claude Monet
 Berthe Morisot
 Edgar Payne
 Robert Antoine Pinchon
 Camille Pissarro
 William Preston Phelps
 Vasily Polenov
 Pierre-Auguste Renoir
 Tom Roberts
 Guy Rose
 John Singer Sargent
 Valentin Serov
 Alfred Sisley
 Matthew Smith
 Tim Solliday
 Joaquín Sorolla
 Edward Stott
 Arthur Streeton
 Anthony Thieme
 Tom Thomson
 Henry Scott Tuke
 Andrew Winter
 Robert William Wood
 Mary Agnes Yerkes

Hình ảnh

Liên kết ngoài
Nghệ thuật
Mỹ thuật


title: Syllepte paleacalis

text:
Syllepte paleacalis là một loài bướm đêm trong họ Crambidae.

Chú thích

Liên kết ngoài

Syllepte


title: Pycnarmon lactiferalis

text:
Pycnarmon lactiferalis là một loài bướm đêm trong họ Crambidae.

Chú thích

Liên kết ngoài

Pycnarmon


title: Coelioxys inermis

text:
Coelioxys inermis là một loài ong trong họ Megachilidae. Loài này được  miêu tả khoa học đầu tiên năm 1802.

Chú thích

Tham khảo

I
Động vật được mô tả năm 1802


title: Marcipa flavilinea

text:
Marcipa flavilinea là một loài bướm đêm trong họ Erebidae.

Chú thích

Liên kết ngoài

Marcipa