已知函数f（x）=（x³-6x²+3x+t）e^x，t∈R．

（1）若函数y=f（x）依次在x=a，x=b，x=c（a＜b＜c）处取到极值．

①求t的取值范围；

②若a+c=2b²，求t的值．

（2）若存在实数t∈[0，2]，使对任意的x∈[1，m]，不等式f（x）≤x恒成立．求正整数m的最大值．

逻辑学的创始人、古典形式逻辑的奠基者是（）。